✦ LIBER ✦

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7406 || Computer-Aided Cryptographic Proofs

✍ Scribed by Beringer, Lennart; Felty, Amy

Book ID: 120519665
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 283 KB
Category: Article
ISBN: 3642323472
DOI: 10.1007/978-3-642-32347-8_2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7406 || Construction of Real Algebraic Numbers in Coq

✍ Beringer, Lennart; Felty, Amy 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 276 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Mechanised Computability Theory

✍ Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 272 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 || First-Order Theorem Proving and Vampire

✍ Sharygina, Natasha; Veith, Helmut 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 436 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || Shallow Lazy Proofs

✍ Hurd, Joe; Melham, Tom 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 436 KB

This Volume Constitutes The Proceedings Of The 18th International Conference On Theorem Proving In Higher Order Logics (tphols 2005), Which Was Held During22–25august2005inoxford,uk.tpholscoversallaspectsoftheorem Proving In Higher Order Logics As Well As Related Topics In Theorem Proving And Veri?c

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

✍ Alur, Rajeev; Peled, Doron A. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 90 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Point-Free, Set-Free Concrete Linear Algebra

✍ van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 248 KB