The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation
Journal of the ACM (JACM)
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
Higher Order Unification 30 Years Later
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Using Linear Logic to Reason about Sequent Systems
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Handbook of automated reasoning
A framework for program development based on schematic proof
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A proof theory for generic judgments
ACM Transactions on Computational Logic (TOCL)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
α lean TAP: A Declarative Theorem Prover for First-Order Classical Logic
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Journal of Automated Reasoning
On the specification of sequent systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A formal framework for specifying sequent calculus proof systems
Theoretical Computer Science
| Hi-index | 0.00 |