![]() | ![]() |
| 2004 | ||
|---|---|---|
| 3 | Robin N. Banerjee, Andrés Bujosa: A geometric interpretation of LD-resolution. Theor. Comput. Sci. 318(3): 435-470 (2004) | |
| 2002 | ||
| 2 | Robin N. Banerjee, Andrés Bujosa: Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. FoIKS 2002: 15-31 | |
| 1 | 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) | |
| 1 | Andrés Bujosa | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page