The undecidability of pattern matching in calculi where primitive recursive functions are representable

Authors:
Gilles Dowek
Affiliations:
-
Venue:
Theoretical Computer Science
Year:
1993

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	5.23

Visualization

Abstract