Third-Order Matching in the Presence of Type Constructors

Authors:
Jan Springintveld
Affiliations:
-
Venue:
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Year:
1995

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
Higher-order unification and matching

Handbook of automated reasoning
Decidability of fourth-order matching

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract