Jim Christian

According to our database, Jim Christian authored at least 6 papers between 1988 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

Flatterms, Discrimination Nets, and Fast Term Rewriting.

Jim Christian

J. Autom. Reason., 1993

1992

Some Termination Criteria for Narrowing and E-Narrowing.

Jim Christian

Proceedings of the Automated Deduction, 1992

1990

Oriented Non-Radial Basis Functions for Image Coding and Analysis.

Avijit Saha, Jim Christian, Dun-Sung Tang, Chuan-lin Wu

Proceedings of the Advances in Neural Information Processing Systems 3, 1990

1989

Adventures in Associative-Commutative Unification.

Patrick Lincoln, Jim Christian

J. Symb. Comput., 1989

Fast Knuth-Bendix Completion: Summary.

Jim Christian

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

Adventures in Associative-Commutative Unification (A Summary).

Patrick Lincoln, Jim Christian

Proceedings of the 9th International Conference on Automated Deduction, 1988