Xumin Nie (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. J. Comput. Sci. Technol. 15(5): 409-415 (2000)

10 Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. ISMIS 1997: 600-608

Selection of 2 from 11 records - Xumin Nie has 5 coauthors

11		Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. J. Comput. Sci. Technol. 15(5): 409-415 (2000)
10		Xumin Nie, Qing Guo: Renaming a Set of Non-Horn Clauses. ISMIS 1997: 600-608