Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bryukhov, Yegor - Center for Algorithms and Interactive Scientific Software, Department of Computer Science, City College, City University of New York
Automatic proof search in logic of justified common knowledge
INTEGRATION OF DECISION PROCEDURES INTO HIGH-ORDER INTERACTIVE PROVERS
Implementing the Calculus of Inductive Constructions in the MetaPRL Framework
