| 2004 |
|---|
| 5 | EE | Robin N. Banerjee,
Andrés Bujosa:
A geometric interpretation of LD-resolution.
Theor. Comput. Sci. 318(3): 435-470 (2004) |
| 2002 |
|---|
| 4 | EE | Robin N. Banerjee,
Andrés Bujosa:
Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings.
FoIKS 2002: 15-31 |
| 3 | EE | Robin N. Banerjee,
Andrés Bujosa:
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings.
Electr. Notes Theor. Comput. Sci. 66(5): (2002) |
| 1997 |
|---|
| 2 | | Andrés Bujosa,
Regino Criado,
Miguel A. Hernandez-Medina:
Unification: Nothing but the Solution of a System of Linear Equations.
Fundam. Inform. 32(3-4): 267-280 (1997) |
| 1996 |
|---|
| 1 | | Andrés Bujosa,
Regino Criado:
Syntactic Elements of Declarative Programming: Symbolic Linear Equations.
Fundam. Inform. 25(1): 39-48 (1996) |
