Subrata Mitra (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602

2 Subrata Mitra, G. Sivakumar: AC-Equation Solving. FSTTCS 1991: 40-56

1 Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297

Selection of 3 from 10 records - Subrata Mitra has 4 coauthors

4		Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602
2		Subrata Mitra, G. Sivakumar: AC-Equation Solving. FSTTCS 1991: 40-56
1		Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297