default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th LPAR Workshops 2008: Doha, Qatar
- Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz:
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 Workshop Proceedings 418, CEUR-WS.org 2008 - Josef Urban:
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. - Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
A TLA+ Proof System. - Geoff Sutcliffe:
The SZS Ontologies for Automated Reasoning Software. - Florian Rabe, Michael Kohlhase:
An Exchange Format for Modular Knowledge. - 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 Manquinho:
Learning Techniques for Pseudo-Boolean Solving. - Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
Complete Pruning Methods and a Practical Search Strategy for SOL. - Leonardo Mendonça de Moura, Nikolaj S. Bjørner:
Proofs and Refutations, and Z3.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
