Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading

Authors:
Patricia Johann;Michael Kohlhase
Affiliations:
-;-
Venue:
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Year:
1994

Citing 0
Cited 3

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Classical type theory

Handbook of automated reasoning
Higher-order unification and matching

Handbook of automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract