Jim Christian

Adventures in Associative-Commutative Unification

Patrick Lincoln, Jim Christian, P. Lincoln, 1989, J. Symb. Comput..

Some Termination Criteria for Narrowing and E-Narrowing

Jim Christian, 1992, CADE.

Flatterms, discrimination nets, and fast term rewriting

Jim Christian, J. Christian, 1993, Journal of Automated Reasoning.

Fast Knuth-Bendix Completion: Summary

Jim Christian, J. Christian, 1989, International Conference on Rewriting Techniques and Applications.

Adventures in Associative-Commutative Unification (A Summary)

Patrick Lincoln, Jim Christian, P. Lincoln, 1988, CADE.

Oriented Non-Radial Basis Functions for Image Coding and Analysis

Avijit Saha, Chuan-lin Wu, Dun-Sung Tang, 1990, NIPS.