Robin N. Banerjee

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Robin N. Banerjee, Andrés Bujosa
A geometric interpretation of LD-resolution. Theor. Comput. Sci. 318 (3) (2004)
Robin N. Banerjee, Andrés Bujosa
Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. FoIKS (2002)
Robin N. Banerjee, Andrés Bujosa
Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. Electron. Notes Theor. Comput. Sci. 66 (5) (2002)