✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || System description: Leo — A higher-order theorem prover

✍ Scribed by Kirchner, Claude; Kirchner, Hélène

Book ID: 120337032
Publisher: Springer Berlin Heidelberg
Year: 1998
Weight: 256 KB
Category: Article
ISBN: 3540691103
DOI: 10.1007/BFb0054256

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Deduction — Cade-13 Volume 1104 || IMPS: An updated system description

✍ McRobbie, M. A.; Slaney, J. K. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 300 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || VCC: A Practical System for Verifying Concurrent C

✍ Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 298 KB

This Book Constitutes The Refereed Proceedings Of The 22nd International Conference On Theorem Proving In Higher Order Logics, Tphols 200, Held In Munich, Germany, In August 2009. The 26 Revised Full Papers Presented Together With 1 Proof Pearl, 4 Tool Presentations, And 3 Invited Papers Were Carefu

[Lecture Notes in Computer Science] High

[Lecture Notes in Computer Science] Higher Order Logic Theorem Proving and Its Applications Volume 859 || Automating verification by functional abstraction at the system level

✍ Melham, Thomas F.; Camilleri, Juanito 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 702 KB