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

Document Versions

A mechanically verified, sound and complete theorem prover for first order logic –Tom Ridge, James Margetson — 2005 — In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, volume 3603 of Lecture Notes in Computer Science