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
Distributed computing
Semantics
Artificial intelligence
Type theory
Technical report
Automated theorem proving
Logic
Communications protocol
Mathematics
Verification
Computational complexity theory
Formal methods
Constructivism
Fault tolerance
Computability
Model of computation
Satisfiability
Computer Science
Logic programming
Knowledge representation and reasoning
Automated reasoning
Complexity class
Mathematical analysis
Theory of computation
Programming language
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Distributed computing
Semantics
Artificial intelligence
Type theory
Technical report
Automated theorem proving
Logic
Communications protocol
Mathematics
Verification
Computational complexity theory
Formal methods
Constructivism
Fault tolerance
Computability
Model of computation
Satisfiability
Computer Science
Logic programming
Knowledge representation and reasoning
Automated reasoning
Complexity class
Mathematical analysis
Theory of computation
Programming language
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