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
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)
| Hi-index | 0.00 |