Jung-Hong Kao

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

Coauthor Index

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

Colors in the list of coauthors