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

Xiaomei Tian Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - 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

Coauthor Index

1Raymond T. Ng [1] [2]

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