Wenchang Fang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Wenchang Fang, Jung-Hong Kao: Set-Of-Support Strategy for Higher-Order Logic. CTRS 1992: 498-501

Selection of 1 from 2 records - Wenchang Fang has 3 coauthors