LPAR Workshops

Keyphrases

Publications

2008

Florian Rabe, Michael Kohlhase
An Exchange Format for Modular Knowledge. LPAR Workshops (2008)
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
Transforming and Analyzing Proofs in the CERES-System. LPAR Workshops (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System. LPAR Workshops (2008)
Josef Urban
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. LPAR Workshops (2008)
Loic Pottier
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. LPAR Workshops (2008)
José Faustino Fragoso Femenin dos Santos, Vasco M. Manquinho
Learning Techniques for Pseudo-Boolean Solving. LPAR Workshops (2008)
Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn
Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops (2008)
Leonardo Mendonça de Moura, Nikolaj Bjørner
Proofs and Refutations, and Z3. LPAR Workshops (2008)
Geoff Sutcliffe
The SZS Ontologies for Automated Reasoning Software. LPAR Workshops (2008)
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
Complete Pruning Methods and a Practical Search Strategy for SOL. LPAR Workshops (2008)

volume 418, 2008

Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 LPAR Workshops 418 (2008)