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] |