dblp.uni-trier.dewww.uni-trier.de

Jung-Hong Kao Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1992
2 Wenchang Fang, Jung-Hong Kao: Set-Of-Support Strategy for Higher-Order Logic. CTRS 1992: 498-501
1EEJung-Hong Kao, Lawrence J. Henschen: A Graph Proof Procedure for Real Time Logic. SEKE 1992: 300-306

Coauthor Index

1Wenchang Fang [2]
2Lawrence J. Henschen [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)