Subrata Mitra (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

9		Nachum Dershowitz, Subrata Mitra: Jeopardy. RTA 1999: 16-29
6		Nachum Dershowitz, Subrata Mitra: Higher-Order and Semantic Unification. FSTTCS 1993: 139-150
4		Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602
3		Nachum Dershowitz, Subrata Mitra: Path Orderings for Termination of Associative-Commutative Rewriting. CTRS 1992: 168-174
1		Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297

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