Login
中文
Robert L Constable
HIndex: 16
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Automated theorem proving
Automated reasoning
Computability
Logic
Mathematics
Logic programming
Model of computation
Verification
Type theory
Semantics
Computer Science
Constructivism
Programming language
Mathematical analysis
Formal methods
Theory of computation
Knowledge representation and reasoning
Complexity class
Distributed computing
Computational complexity theory
Artificial intelligence
Communications protocol
Technical report
Satisfiability
Fault tolerance
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Automated theorem proving
Automated reasoning
Computability
Logic
Mathematics
Logic programming
Model of computation
Verification
Type theory
Semantics
Computer Science
Constructivism
Programming language
Mathematical analysis
Formal methods
Theory of computation
Knowledge representation and reasoning
Complexity class
Distributed computing
Computational complexity theory
Artificial intelligence
Communications protocol
Technical report
Satisfiability
Fault tolerance
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Robert L Constable
Cornell University
150
×
Share to your followers
Submit