UNC-CH/ CS/ Mechanized Inference/ People

Heng's picture Heng Chu

Heng Chu graduated with a PhD in 1994. His dissertation was on the use of semantics in clause-linking theorem provers. The theorem prover that he wrote to demonstrate this is called CLIN-S.

Technical reports:

TR92-009 CLIN User's Manual
Heng Chu, Shie-Jiu Lee

TR94-051 Semantically Guided First-Order Theorem Proving with Hyper-Linking
Heng Chu (doctoral dissertation)

plaisted@cs.unc.edu, 26-May-95
If you have a link to this page...