| |
| 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) | |
| 1 | Robin N. Banerjee | [3] [4] [5] |
| 2 | Regino Criado | [1] [2] |
| 3 | Miguel A. Hernandez-Medina | [2] |