Search the dblp DataBase

Publications of Author

1. Nachum Dershowitz, Subrata Mitra, G. Sivakumar
   Equation Solving in Conditional AC-Theories. [Citation Graph (0, 0)][DBLP]
   ALP, 1990, pp:283-297 [Conf]
   
2. Nachum Dershowitz, Subrata Mitra, G. Sivakumar
   Decidable Matching for Convergent Systems (Preliminary Version). [Citation Graph (0, 0)][DBLP]
   CADE, 1992, pp:589-602 [Conf]
   
3. Nachum Dershowitz, Subrata Mitra
   Path Orderings for Termination of Associative-Commutative Rewriting. [Citation Graph (0, 0)][DBLP]
   CTRS, 1992, pp:168-174 [Conf]
   
4. Dipayan Gangopadhyay, Subrata Mitra
   ObjChart: Tangible Specification of Reactive Object Behavior. [Citation Graph (0, 0)][DBLP]
   ECOOP, 1993, pp:432-457 [Conf]
   
5. Nachum Dershowitz, Subrata Mitra
   Higher-Order and Semantic Unification. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1993, pp:139-150 [Conf]
   
6. Subrata Mitra, G. Sivakumar
   AC-Equation Solving. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1991, pp:40-56 [Conf]
   
7. Nachum Dershowitz, Subrata Mitra
   Jeopardy. [Citation Graph (0, 0)][DBLP]
   RTA, 1999, pp:16-29 [Conf]
   
8. Dipayan Gangopadhyay, Subrata Mitra
   ObjChart-Builder: An Environment for Executing Visual Object Models. [Citation Graph (0, 0)][DBLP]
   TOOLS (11), 1993, pp:319-334 [Conf]
   
9. Dipayan Gangopadhyay, Subrata Mitra
   Design by Framework Completion. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 1996, v:3, n:3/4, pp:219-237 [Journal]
   
10. Subrata Mitra, A. K. Chatterjee
    Leveraging information in multi-echelon inventory systems. [Citation Graph (0, 0)][DBLP]
    European Journal of Operational Research, 2004, v:152, n:1, pp:263-280 [Journal]