Kang Wang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3 Zhenyu Qian, Kang Wang: Modular Higher-Order Equational Preunification. J. Symb. Comput. 22(4): 401-424 (1996)

2 Zhenyu Qian, Kang Wang: Modular AC Unification of Higher-Order Patterns. CCL 1994: 105-120

1 Zhenyu Qian, Kang Wang: Higher-Order E-Unification for Arbitrary Theories. JICSLP 1992: 52-66

Selection of 3 from 6 records - Kang Wang has 9 coauthors

3		Zhenyu Qian, Kang Wang: Modular Higher-Order Equational Preunification. J. Symb. Comput. 22(4): 401-424 (1996)
2		Zhenyu Qian, Kang Wang: Modular AC Unification of Higher-Order Patterns. CCL 1994: 105-120
1		Zhenyu Qian, Kang Wang: Higher-Order E-Unification for Arbitrary Theories. JICSLP 1992: 52-66