✦ LIBER ✦

[Lecture Notes in Computer Science] Tests and Proofs Volume 6706 || Tests from Proofs

✍ Scribed by Gogolla, Martin; Wolff, Burkhart

Book ID: 118023476
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 42 KB
Category: Article
ISBN: 3642217680
DOI: 10.1007/978-3-642-21768-5_2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cert

[Lecture Notes in Computer Science] Certified Programs and Proofs Volume 7679 || Shall We Juggle, Coinductively?

✍ Hawblitzel, Chris; Miller, Dale 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 690 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Program extraction from normalization proofs

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer-Verlag ⚖ 734 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Explaining Gentzen's consistency proof within infinitary proof theory

✍ Gottlob, Georg; Leitsch, Alexander; Mundici, Daniele 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 763 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 1234 || Models for the logic of proofs

✍ Adian, Sergei; Nerode, Anil 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 486 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2986 || Functors for Proofs and Programs

✍ Schmidt, David 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 164 KB

This Volume Contains The 28 Papers Presented At Esop 2004, The 13th European Symposium On Programming, Which Took Place In Barcelona, Spain, March 29– 31, 2004. The Esop Series Began In 1986 With The Goal Of Bridging The Gap Between Theory And Practice, And The Conferences Continue To Be Devoted To

[Lecture Notes in Computer Science] Mech

[Lecture Notes in Computer Science] Mechanizing Mathematical Reasoning Volume 2605 || Psychological Validity of Schematic Proofs

✍ Hutter, Dieter; Stephan, Werner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 268 KB

By Presenting State-of-the-art Results In Logical Reasoning And Formal Methods In The Context Of Artificial Intelligence And Ai Applications, This Book Commemorates The 60th Birthday Of Jörg H. Siekmann. The 30 Revised Reviewed Papers Are Written By Former And Current Students And Colleagues Of Jörg