default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIWIL@LPAR 2010: Yogyakarta, Indonesia
- Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska:
The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. EPiC Series in Computing 2, EasyChair 2012 - Lawrence C. Paulson, Jasmin Christian Blanchette:
Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers. 1-11 - Jesse Alama
:
Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools. 12-16 - Guido Fiorino:
Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge. 17-32 - L. Yohanes Stefanus, Ario Santoso:
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. 33-41 - Harald Zankl, Martin Korp:
On Implementing Modular Complexity Analysis. 42-47 - Pavel Klinov, Bijan Parsia:
Implementing an Efficient SAT Solver for a Probabilistic Description Logic. 48-63 - Carsten Fuhs, Peter Schneider-Kamp:
Optimizing the AES S-Box using SAT. 64-70
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 2025-09-27 19:51 CEST 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:
