A mechanically verified, sound and complete theorem prover for first order logic (2005)

Cached

Download Links

by Tom Ridge , James Margetson
Venue:In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, volume 3603 of Lecture Notes in Computer Science
Citations:13 - 0 self