 | 1996 |
|---|
| 6 |       | Leo Bachmair,
Ta Chen,
C. R. Ramakrishnan,
I. V. Ramakrishnan:
Subsumption Algorithms Based on Search Trees.
CAAP 1996: 135-148 |
| 1995 |
|---|
| 5 |  | Leo Bachmair,
Ta Chen,
I. V. Ramakrishnan,
Siva Anantharaman,
Jacques Chabin:
Experiments with Associative-Commutative Discrimination Nets.
IJCAI 1995: 348-355 |
| 4 | | Ta Chen,
Siva Anantharaman:
STORM: A MAny-to-One Associative-Commutative Matcher.
RTA 1995: 414-419 |
| 1994 |
|---|
| 3 | | Ta Chen,
I. V. Ramakrishnan,
R. Ramesh:
Multistage Indexing for Speeding Prolog Executions.
Softw., Pract. Exper. 24(12): 1097-1119 (1994) |
| 1993 |
|---|
| 2 | | Leo Bachmair,
Ta Chen,
I. V. Ramakrishnan:
Associative-Commutative Discrimination Nets.
TAPSOFT 1993: 61-74 |
| 1992 |
|---|
| 1 | | Ta Chen,
I. V. Ramakrishnan,
R. Ramesh:
Multistage Indexing Algorithms for Speeding Prolog Execution.
JICSLP 1992: 639-653 |
