[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Proof normalization for a first-order formulation of higher-order logic

[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] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || Packaging Mathematical Structures

✍ Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 267 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] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || Alpha-Structural Recursion and Induction

✍ Hurd, Joe; Melham, Tom 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 597 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] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || Extensionality in the Calculus of Constructions

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

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 2152 || Representing Hierarchical Automata in Interactive Theorem Provers

✍ Boulton, Richard J.; Jackson, Paul B. 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 235 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