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...