Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
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
HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Extensional Higher-Order Paramodulation and RUE-Resolution
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Handbook of automated reasoning
Higher-order unification and matching
Handbook of automated reasoning
Journal of Automated Reasoning
HOL-λσ: an intentional first-order expression of higher-order logic
Mathematical Structures in Computer Science
Using examples to generate instantiations of set variables
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A mechanization of type theory
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Analytic Tableaux for Higher-Order Logic with Choice
Journal of Automated Reasoning
Impasse-driven reasoning in proof planning
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
What do we know when we know that a theory is consistent?
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Analytic tableaux for higher-order logic with choice
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Hi-index | 0.00 |