Liangwei Xu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

2 Liangwei Xu, Masato Takeichi, Hideya Iwasaki: Relational Semantics for Locally Nondeterministic Programs. New Generation Comput. 15(3): 339-362 (1997)

1994

1 Liangwei Xu, Hideya Iwasaki, Masato Takeichi: Derivation of Algorithms by Introduction of Generation Functions. New Generation Comput. 13(1): 75-98 (1994)

	1997
2		Liangwei Xu, Masato Takeichi, Hideya Iwasaki: Relational Semantics for Locally Nondeterministic Programs. New Generation Comput. 15(3): 339-362 (1997)
	1994
1		Liangwei Xu, Hideya Iwasaki, Masato Takeichi: Derivation of Algorithms by Introduction of Generation Functions. New Generation Comput. 13(1): 75-98 (1994)

Coauthor Index