Proof by computation in the Coq system
Theoretical Computer Science - Special issue on theories of types and proofs
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Universal Algebra in Type Theory
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Equational Reasoning via Partial Reflection
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Recursive Families of Inductive Types
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Proof-assistants using dependent type systems
Handbook of automated reasoning
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Reflective reasoning with and between a declarative metatheory and the implementation code
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Verifying mixed real-integer quantifier elimination
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
| Hi-index | 0.00 |