default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 54

> 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 54, Number 1, January 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Martin-DorelHMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Martin-DorelHMT15
Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry:
Formally Verified Certificate Checkers for Hardest-to-Round Computation. 1-29
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GhoshDR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GhoshDR15
Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh:
Automated Planning as an Early Verification Tool for Distributed Control. 31-68
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BonacinaJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BonacinaJ15
Maria Paola Bonacina, Moa Johansson:
On Interpolation in Automated Theorem Proving. 69-97
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KaliszykU15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KaliszykU15
Cezary Kaliszyk, Josef Urban:
Erratum to : Learning-Assisted Automated Reasoning with Flyspeck. 99

Volume 54, Number 2, February 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/ZanklFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZanklFM15
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp:
Labelings for Decreasing Diagrams. 101-133
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoldoJLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoldoJLM15
Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond:
Verified Compilation of Floating-Point Computations. 135-163
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FosterS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FosterS15
Simon Foster, Georg Struth:
On the Fine-Structure of Regular Algebra. 165-197

Volume 54, Number 3, March 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ReusCH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ReusCH15
Bernhard Reus, Nathaniel Charlton, Ben Horsfall:
Symbolic Execution Proofs for Higher Order Store Programs. 199-284

Volume 54, Number 4, April 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jar/NarkawiczMD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NarkawiczMD15
Anthony Narkawicz, César A. Muñoz, Aaron Dutle:
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems. 285-326
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlbertiGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlbertiGS15
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. 327-352
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BonacinaJ15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BonacinaJ15a
Maria Paola Bonacina, Moa Johansson:
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey. 353-390

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.