More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 58

> Home > Journals > Journal of Automated Reasoning

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 58, Number 1, January 2017

Special Issue: Selected Extended Papers of IJCAR 2014

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/DemriKW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DemriKW17
Stéphane Demri, Deepak Kapur, Christoph Weidenbach:
Preface - Special Issue of Selected Extended Papers of IJCAR 2014. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GieslABEFFHOPSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GieslABEFFHOPSS17
Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann:
Analyzing Program Termination and Complexity Automatically with AProVE. 3-31
- view
  authority control:
- export record
  dblp key:
  - journals/jar/StroderGBFFHSA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/StroderGBFFHSA17
Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann:
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. 33-65
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CeylanP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CeylanP17
Ismail Ilkan Ceylan, Rafael Peñaloza:
The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL. 67-95
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HeuleSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HeuleSB17
Marijn J. H. Heule, Martina Seidl, Armin Biere:
Solution Validation and Extraction for QBF Preprocessing. 97-125
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/ZeljicWR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZeljicWR17
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer:
An Approximation Framework for Solvers and Decision Procedures. 127-147
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BlanchettePT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BlanchettePT17
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel:
Soundness and Completeness Proofs by Coinductive Methods. 149-179
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BeesonW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeesonW17
Michael Beeson, Larry Wos:
Finding Proofs in Tarskian Geometry. 181-207

Volume 58, Number 2, February 2017

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BraunN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BraunN17
Gabriel Braun, Julien Narboux:
A Synthetic Proof of Pappus' Theorem in Tarski's Geometry. 209-230
- view
  authority control:
- export record
  dblp key:
  - journals/jar/OliveiraGA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/OliveiraGA17
Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón:
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. 231-251
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/GanesalingamG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GanesalingamG17
M. Ganesalingam, W. T. Gowers:
A Fully Automatic Theorem Prover with Human-Style Output. 253-291
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/BaumgartnerKLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaumgartnerKLV17
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Higher-Order Pattern Anti-Unification in Linear Time. 293-310

Volume 58, Number 3, March 2017

Special Issue: Selected Extended Papers of CADE 2015

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/FeltyM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FeltyM17
Amy P. Felty, Aart Middeldorp:
Preface: Selected Extended Papers of CADE 2015. 311-312
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZulkoskiBHKCG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZulkoskiBHKCG17
Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh:
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. 313-339
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ReynoldsB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ReynoldsB17
Andrew Reynolds, Jasmin Christian Blanchette:
A Decision Procedure for (Co)datatypes in SMT Solvers. 341-362
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DSilvaU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DSilvaU17
Vijay D'Silva, Caterina Urban:
Abstract Interpretation as Automated Deduction. 363-390
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/Iborra0V017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Iborra0V017
José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada:
Relative Termination via Dependency Pairs. 391-411

Volume 58, Number 4, April 2017

- view
  authority control:
- export record
  dblp key:
  - journals/jar/LagniezM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LagniezM17
Jean-Marie Lagniez, Pierre Marquis:
On Preprocessing Techniques and Their Impact on Propositional Model Counting. 413-481
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Eberl17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Eberl17
Manuel Eberl:
Proving Divide and Conquer Complexities in Isabelle/HOL. 483-508
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AransayD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AransayD17
Jesús Aransay, Jose Divasón:
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem. 509-535

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.