PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Partial polymorphic type inference and higher-order unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation
Journal of the ACM (JACM)
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90 Proceedings of the 12th international conference on Software engineering
An experiment in formal software development: using the B theorem prover on a VDM case study
Communications of the ACM - Special issue on software engineering
A framework for defining logics
Journal of the ACM (JACM)
Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Handbook of automated reasoning
Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Journal of Automated Reasoning
Focusing the Inverse Method for LF: A Preliminary Report
Electronic Notes in Theoretical Computer Science (ENTCS)
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Higher-order term indexing using substitution trees
ACM Transactions on Computational Logic (TOCL)
Proof search specifications of bisimulation and modal logics for the π-calculus
ACM Transactions on Computational Logic (TOCL)
A survey of automated deduction
Artificial intelligence today
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Overcoming performance barriers: efficient verification techniques for logical frameworks
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Tabling for higher-order logic programming
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |