| |
| 1993 | ||
|---|---|---|
| 6 | Jim Christian: Flatterms, Discrimination Nets, and Fast Term Rewriting. J. Autom. Reasoning 10(1): 95-113 (1993) | |
| 1992 | ||
| 5 | Jim Christian: Some Termination Criteria for Narrowing and E-Narrowing. CADE 1992: 582-588 | |
| 1990 | ||
| 4 | EE | Avijit Saha, Jim Christian, Dun-Sung Tang, Chuan-lin Wu: Oriented Non-Radial Basis Functions for Image Coding and Analysis. NIPS 1990: 728-734 |
| 1989 | ||
| 3 | Jim Christian: Fast Knuth-Bendix Completion: Summary. RTA 1989: 551-555 | |
| 2 | Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification. J. Symb. Comput. 8(1/2): 217-240 (1989) | |
| 1988 | ||
| 1 | Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification (A Summary). CADE 1988: 358-367 | |
| 1 | Patrick Lincoln | [1] [2] |
| 2 | Avijit Saha | [4] |
| 3 | Dun-Sung Tang | [4] |
| 4 | Chuan-lin Wu | [4] |