dblp.uni-trier.dewww.uni-trier.de

Jim Christian Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1993
6 Jim Christian: Flatterms, Discrimination Nets, and Fast Term Rewriting. J. Autom. Reasoning 10(1): 95-113 (1993)
1992
5EEJim Christian: Some Termination Criteria for Narrowing and E-Narrowing. CADE 1992: 582-588
1990
4EEAvijit Saha, Jim Christian, Dun-Sung Tang, Chuan-lin Wu: Oriented Non-Radial Basis Functions for Image Coding and Analysis. NIPS 1990: 728-734
1989
3EEJim 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
1EEPatrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification (A Summary). CADE 1988: 358-367

Coauthor Index

1Patrick Lincoln [1] [2]
2Avijit Saha [4]
3Dun-Sung Tang [4]
4Chuan-lin Wu [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)