Complete sets of unifiers and matchers in equational theories

This publication has 15 references indexed in Scilit:

• Properties of substitutions and unifications
  Journal of Symbolic Computation, 1985
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• The undecidability of the third order dyadic unification problem
  Information and Control, 1978
• An algorithm to generate the basis of solutions to homogeneous linear diophantine equations
  Information Processing Letters, 1978
• Linear unification
  Journal of Computer and System Sciences, 1978
• Mechanizing ω-order type theory through unification
  Theoretical Computer Science, 1976
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975
• The undecidability of unification in third order logic
  Information and Control, 1973
• Hilbert's Tenth Problem is Unsolvable
  The American Mathematical Monthly, 1973