| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 5 |      | Robin N. Banerjee, Andrés Bujosa: A geometric interpretation of LD-resolution. Theor. Comput. Sci. 318(3): 435-470 (2004) |
| 2002 | ||
| 4 | | Robin N. Banerjee, Andrés Bujosa: Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. FoIKS 2002: 15-31 |
| 3 | | 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): 22-40 (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] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page