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

Xumin Nie Vis

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

*2000
11EEXumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. J. Comput. Sci. Technol. 15(5): 409-415 (2000)
1997
10EEXumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. ISMIS 1997: 600-608
9EEXumin Nie: Non-Horn Clause Logic Programming. Artif. Intell. 92(1-2): 243-258 (1997)
1994
8 Deepak Kapur, Xumin Nie, David R. Musser: An Overview of the Tecton Proof System. Theor. Comput. Sci. 133(2): 307-339 (1994)
1992
7 Deepak Kapur, David R. Musser, Xumin Nie: The Tecton Proof System. Formal Methods in Databases and Software Engineering 1992: 54-79
6 Xumin Nie, David A. Plaisted: A Semantic Backward Chaining Proof System. Artif. Intell. 55(1): 109-128 (1992)
1991
5EEXumin Nie: How Well Are Non-Horn Clauses Handled? ISMIS 1991: 580-588
4EERaj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie: The Tecton Proof System. RTA 1991: 442-444
1990
3EEXumin Nie, David A. Plaisted: A Complete Semantic Back Chaining Proof System. CADE 1990: 16-27
2 Xumin Nie, David A. Plaisted: Experimental Results on Subgoal Reordering. IEEE Trans. Computers 39(6): 845-848 (1990)
1989
1 Xumin Nie, David A. Plaisted: Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. Artif. Intell. 41(2): 223-235 (1989)

Coauthor Index

1Raj Agarwal [4]
2Qing Guo [10] [11]
3Deepak Kapur [4] [7] [8]
4David R. Musser [4] [7] [8]
5David A. Plaisted [1] [2] [3] [6]

Colors in the list of coauthors

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