default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIWIL@LPAR 2015: Suva, Fiji
- Boris Konev, Stephan Schulz, Laurent Simon:
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. EPiC Series in Computing 40, EasyChair 2016 - Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. 1-14 - Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand:
Implementing Polymorphism in Zenon. 15-20 - Marijn Heule, Armin Biere:
Clausal Proof Compression. 21-26 - Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Improving Statistical Linguistic Algorithms for Parsing Mathematics. 27-36 - Baudouin Le Charlier, Mêton Mêton Atindehou:
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. 37-51 - K. Rustan M. Leino:
Well-founded Functions and Extreme Predicates in Dafny: A Tutorial. 52-66 - Chu Min Li, Fan Xiao, Ruchu Xu:
On Reducing Clause DataBase in Glucose. 67-77 - Roberto Blanco, Tomer Libal, Dale Miller:
Defining the meaning of TPTP formatted proofs. 78-90 - Jonathan Protzenko:
Functional Pearl: the Proof Search Monad. 91-105 - Geoff Sutcliffe, Stephan Schulz:
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. 106-121 - Josef Urban, Robert Veroff:
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry. 122-126
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-11-07 20:39 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:
