Higher-Order Rigid E-Unification

Authors:
Jean Goubault
Affiliations:
-
Venue:
LPAR '94 Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning
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