Xiaomei Tian

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1997

2 Raymond T. Ng, Xiaomei Tian: Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation. J. Log. Program. 30(3): 179-204 (1997)

1995

1 Raymond T. Ng, Xiaomei Tian: Incremental Methods for Optimizing Partial Instantiation. LPNMR 1995: 287-301

	1997
2		Raymond T. Ng, Xiaomei Tian: Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation. J. Log. Program. 30(3): 179-204 (1997)
	1995
1		Raymond T. Ng, Xiaomei Tian: Incremental Methods for Optimizing Partial Instantiation. LPNMR 1995: 287-301

Coauthor Index

1 Raymond T. Ng [1] [2]