Decidable higher-order unification problems

This publication has 12 references indexed in Scilit:

• Learning and applying generalised solutions using higher order resolution
  Published by Springer Nature ,2005
• Higher-order narrowing
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Logic programming in the LF logical framework
  Published by Cambridge University Press (CUP) ,1991
• Simple second-order languages for which unification is undecidable
  Theoretical Computer Science, 1991
• The TPS theorem proving system
  Published by Springer Nature ,1990
• Higher-order unification revisited: Complete sets of transformations
  Journal of Symbolic Computation, 1989
• A unification algorithm for second-order monadic terms
  Annals of Pure and Applied Logic, 1988
• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• Canonical Forms and Unification.
  Published by Defense Technical Information Center (DTIC) ,1980
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975