A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract)

Authors:
Daniel J. Dougherty;Patricia Johann
Affiliations:
-;-
Venue:
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Year:
1992

Citing 0
Cited 3

Higher-order equational logic programming

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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

Quantified Score

Hi-index	0.00

Visualization

Abstract