Unification: Nothing but the Solution of a System of Linear Equations

  • Authors:

  • Andrés Bujosa;Regino Criado;Miguel A. Hernandez-Medina

  • Affiliations:

  • Dpto. M.A.T.I., Universidad Politécnica de Madrid E.T.S.I.T., Madrid, Spain. abujosa@mat.upm.es;Dpto. de Informática y Matemática Aplicada Univ. Rey Juan Carlos, E.S.C.E.T. Móstoles, Spain;Dpto. M.A.T.I., Universidad Politécnica de Madrid E.T.S.I.T., Madrid, Spain. mahm@mat.upm.es

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

We use the ring of p-tangles to submerge symbolic expressions in a module structure. Using this structure, the problem of unifying expressions is shown to be equivalent to certain linear systems of equations with coefficients in the ring, whose solution gives the result of unification, if this exists.