Robin N. Banerjee

According to our database¹, Robin N. Banerjee authored at least 3 papers between 2002 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

A geometric interpretation of LD-resolution.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2002

Syntactic Unification as a Geometric Operation in Free Modules over certain Rings.

[BibT_eX]

[DOI]

Proceedings of the Unification in Non-Classical Logics, 2002

Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2002