Ta Chen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan: Subsumption Algorithms Based on Search Trees. CAAP 1996: 135-148

5 Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin: Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355

2 Leo Bachmair, Ta Chen, I. V. Ramakrishnan: Associative-Commutative Discrimination Nets. TAPSOFT 1993: 61-74

Selection of 3 from 6 records - Ta Chen has 6 coauthors

6		Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan: Subsumption Algorithms Based on Search Trees. CAAP 1996: 135-148
5		Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin: Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355
2		Leo Bachmair, Ta Chen, I. V. Ramakrishnan: Associative-Commutative Discrimination Nets. TAPSOFT 1993: 61-74