Theory and Practice of Minimal Modular Higher-Order E-Unification

Authors:
Olaf Müller;Franz Weber
Affiliations:
-;-
Venue:
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Year:
1994

Citing 0
Cited 2

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