| |
| 2004 | ||
|---|---|---|
| 3 | EE | Robin N. Banerjee, Andrés Bujosa: A geometric interpretation of LD-resolution. Theor. Comput. Sci. 318(3): 435-470 (2004) |
| 2002 | ||
| 2 | EE | Robin N. Banerjee, Andrés Bujosa: Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. FoIKS 2002: 15-31 |
| 1 | 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) |
| 1 | Andrés Bujosa | [1] [2] [3] |