Jim Christian

Publication Activity (10 Years)

Years Active: 1988-1993
Publications (10 Years): 0

Publications

Jim Christian
Flatterms, Discrimination Nets, and Fast Term Rewriting. J. Autom. Reason. 10 (1) (1993)
Jim Christian
Some Termination Criteria for Narrowing and E-Narrowing. CADE (1992)
Avijit Saha, Jim Christian, Dun-Sung Tang, Chuan-lin Wu
Oriented Non-Radial Basis Functions for Image Coding and Analysis. NIPS (1990)
Patrick Lincoln, Jim Christian
Adventures in Associative-Commutative Unification. J. Symb. Comput. 8 (1/2) (1989)
Jim Christian
Fast Knuth-Bendix Completion: Summary. RTA (1989)
Patrick Lincoln, Jim Christian
Adventures in Associative-Commutative Unification (A Summary). CADE (1988)