Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation
Oracle-based checking of untrusted software
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof-term synthesis on dependent-type systems via explicit substitutions
Theoretical Computer Science
Higher Order Unification 30 Years Later
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Higher-order unification and matching
Handbook of automated reasoning
Handbook of automated reasoning
On equivalence and canonical forms in the LF type theory
ACM Transactions on Computational Logic (TOCL)
Higher-order constraint simplification in dependent type theory
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
| Hi-index | 0.00 |