Jung-Hong Kao (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Selection of 1 from 3 records - Jung-Hong Kao has 5 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page