Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642228629, 9783642228636

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relational Decomposition

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_6 ◽

2011 ◽

pp. 39-54 ◽

Cited By ~ 9

Author(s):

Lennart Beringer

Download Full-text

Animating the Formalised Semantics of a Java-Like Language

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_17 ◽

2011 ◽

pp. 216-232 ◽

Cited By ~ 14

Author(s):

Andreas Lochbihler ◽

Lukas Bulwahn

Download Full-text

Challenges in Verifying Communication Fabrics

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_4 ◽

2011 ◽

pp. 18-21

Author(s):

Michael Kishinevsky ◽

Alexander Gotmanov ◽

Yuriy Viktorov

Download Full-text

Composable Discovery Engines for Interactive Theorem Proving

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_28 ◽

2011 ◽

pp. 370-375 ◽

Cited By ~ 2

Author(s):

Phil Scott ◽

Jacques Fleuriot

Keyword(s):

Theorem Proving ◽

Interactive Theorem Proving

Download Full-text

Proving Valid Quantified Boolean Formulas in HOL Light

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_15 ◽

2011 ◽

pp. 184-199 ◽

Cited By ~ 1

Author(s):

Ondřej Kunčar

Keyword(s):

Quantified Boolean Formulas ◽

Hol Light ◽

Boolean Formulas

Download Full-text

Validating QBF Validity in HOL4

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_14 ◽

2011 ◽

pp. 168-183 ◽

Cited By ~ 1

Author(s):

Ramana Kumar ◽

Tjark Weber

Download Full-text

Advances in the Formalization of the Odd Order Theorem

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_2 ◽

2011 ◽

pp. 2-2 ◽

Cited By ~ 2

Author(s):

Georges Gonthier

Keyword(s):

Odd Order

Download Full-text

Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_29 ◽

2011 ◽

pp. 376-382 ◽

Cited By ~ 3

Author(s):

Matej Urbas ◽

Mateja Jamnik

Keyword(s):

Higher Order ◽

Spider Diagrams

Download Full-text

Structural Analysis of Narratives with the Coq Proof Assistant

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_7 ◽

2011 ◽

pp. 55-70 ◽

Cited By ~ 2

Author(s):

Anne-Gwenn Bosser ◽

Pierre Courtieu ◽

Julien Forest ◽

Marc Cavazza

Keyword(s):

Structural Analysis ◽

Proof Assistant ◽

The Coq Proof Assistant ◽

Coq Proof Assistant ◽

Analysis Of Narratives

Download Full-text

Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22863-6_9 ◽

2011 ◽

pp. 87-102

Author(s):

Peter Gammie

Keyword(s):

Knowledge Based ◽

Synchronous Environments

Download Full-text

Interactive Theorem Proving - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Relational Decomposition

Animating the Formalised Semantics of a Java-Like Language

Challenges in Verifying Communication Fabrics

Composable Discovery Engines for Interactive Theorem Proving

Proving Valid Quantified Boolean Formulas in HOL Light

Validating QBF Validity in HOL4

Advances in the Formalization of the Odd Order Theorem

Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers

Structural Analysis of Narratives with the Coq Proof Assistant

Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments

Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications