15. LPAR Workshops 2008: Doha, Qatar
Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): 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. CEUR-WS.org 2008 CEUR Workshop Proceedings- Josef Urban: Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange.
- Geoff Sutcliffe: The SZS Ontologies for Automated Reasoning Software.
- Loic Pottier: Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
- Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo: Transforming and Analyzing Proofs in the CERES-System.
- Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn: Interactive Verification of Concurrent Systems using Symbolic Execution.
- José Faustino Fragoso Femenin dos Santos, Vasco M. Manquinho: Learning Techniques for Pseudo-Boolean Solving.
- Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: Complete Pruning Methods and a Practical Search Strategy for SOL.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team