Huilin Li

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

1 Lian Li, Huilin Li, Yixun Liu: A Decision Algorithm for Linear Sentences on a PFM. Ann. Pure Appl. Logic 59(3): 273-286 (1993)

	1993
1		Lian Li, Huilin Li, Yixun Liu: A Decision Algorithm for Linear Sentences on a PFM. Ann. Pure Appl. Logic 59(3): 273-286 (1993)

Coauthor Index