default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning, Volume 59
Volume 59, Number 1, June 2017
- Jürgen Giesl
, Jan Hoffmann:
Preface: Special Issue on Automatic Resource Bound Analysis. 1-2 - Moritz Sinn, Florian Zuleger, Helmut Veith:
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints. 3-45 - Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. 47-85 - Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond:
Type-Based Cost Analysis for Lazy Functional Languages. 87-120 - Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder:
Lower Bounds for Runtime Complexity of Term Rewriting. 121-163
Volume 59, Number 2, August 2017
- Maria Paola Bonacina, David A. Plaisted:
Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness. 165-218 - André Platzer:
A Complete Uniform Substitution Calculus for Differential Dynamic Logic. 219-265 - Christoph Walther, Nathan Wasser:
Fermat, Euler, Wilson - Three Case Studies in Number Theory. 267-286
Volume 59, Number 3, October 2017
- Zakaria Chihani, Dale Miller, Fabien Renaud:
A Semantic Framework for Proof Evidence. 287-330 - Jie Zhou, Dingkang Wang, Yao Sun:
Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method. 331-344 - Johannes Hölzl:
Markov Chains and Markov Decision Processes in Isabelle/HOL. 345-387
Volume 59, Number 4, December 2017
- Jeremy Avigad, Johannes Hölzl, Luke Serafin:
A Formally Verified Proof of the Central Limit Theorem. 389-423 - Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp:
Formally Proving Size Optimality of Sorting Networks. 425-454 - Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller:
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. 455-482 - Geoff Sutcliffe:
The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0. 483-502
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-05-05 20:54 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:
