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
Higher-order constraint simplification in dependent type theory
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Higher-order dynamic pattern unification for dependent types and records
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Hi-index | 0.00 |