Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Rewriting Logic as a Metalogical Framework
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Handbook of automated reasoning
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC
AI Communications - CASC
Let's Get Physical: Models and Methods for Real-World Security Protocols
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Hi-index | 0.00 |