SYNTACTIC ELEMENTS OF DECLARATIVE PROGRAMMING: SYMBOLIC LINEAR EQUATIONS

Authors:
Andrés Bujosa;Regino Criado
Affiliations:
Departemento de Matemática aplicada a las tecnologías de la informatión. E.T.S.I.T.,Universidad Politécnica de Madrid, 28040-Madrid, Spain, {abujosa,rcriado}@mat.upm.es;Departemento de Matemática aplicada a las tecnologías de la informatión. E.T.S.I.T.,Universidad Politécnica de Madrid, 28040-Madrid, Spain, {abujosa,rcriado}@mat.upm.es
Venue:
Fundamenta Informaticae
Year:
1996

Citing 1
Cited 1

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)

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

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce the concept of linear equation of symbols in the context of p-tangles, we obtain several “linear results” and we apply this results to address a possible algebraic description of the unification algorithm.