default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 56

> 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 56, Number 1, January 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BengtsonPW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BengtsonPW16
Jesper Bengtson, Joachim Parrow, Tjark Weber:
Psi-Calculi in Isabelle. 1-47
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GagneLLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GagneLLS16
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini:
Automated Proofs of Block Cipher Modes of Operation. 49-94

Volume 56, Number 2, February 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaumgartnerBW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaumgartnerBW16
Peter Baumgartner, Wolfgang Bibel, Richard Waldinger:
In Memory of Mark Stickel. 95-98
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Loveland16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Loveland16
Donald W. Loveland:
Mark Stickel: His Earliest Work. 99-112
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BonacinaP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BonacinaP16
Maria Paola Bonacina, David A. Plaisted:
Semantically-Guided Goal-Sensitive Reasoning: Model Representation. 113-141
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Zhang16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Zhang16
Hantao Zhang:
An Experiment with Satisfiability Modulo SAT. 143-154
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BlanchetteBFSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BlanchetteBFSS16
Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury, Steffen Juilf Smolka, Albert Steckermeier:
Semi-intelligible Isar Proofs from Machine-Generated Proofs. 155-200

Volume 56, Number 3, March 2016

Special Issue of Selected Extended Papers of ITP 2014

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KleinG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KleinG16
Gerwin Klein, Ruben Gamboa:
Interactive Theorem Proving - Preface of the Special Issue. 201-203
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/Arthan16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Arthan16
Rob Arthan:
On Definitions of Constants and Types in HOL. 205-219
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KumarAMO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KumarAMO16
Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens:
Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation. 221-259
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MatichukMW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MatichukMW16
Daniel Matichuk, Toby C. Murray, Makarius Wenzel:
Eisbach: A Proof Method Language for Isabelle. 261-282
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BlazyLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BlazyLP16
Sandrine Blazy, Vincent Laporte, David Pichardie:
Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code. 283-308
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BourkeGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BourkeGH16
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Mechanizing a Process Algebra for Network Protocols. 309-341
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DoczkalS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DoczkalS16
Christian Doczkal, Gert Smolka:
Completeness and Decidability Results for CTL in Constructive Type Theory. 343-365
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AvigadLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AvigadLR16
Jeremy Avigad, Robert Y. Lewis, Cody Roux:
A Heuristic Prover for Real Inequalities. 367-386

Volume 56, Number 4, April 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jar/DrossCKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DrossCKP16
Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich:
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers. 387-457
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SlivovskyS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SlivovskyS16
Friedrich Slivovsky, Stefan Szeider:
Quantifier Reordering for QBF. 459-477

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.