Volume 62, Issue 1 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 62, Issue 1

January 2019

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
Pierre Boutry
Charly Gries
Pascal Schreck
OriginalPaper 08 September 2017 Pages: 1 - 68
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
Wenda Li
Grant Olney Passmore
Lawrence C. Paulson
OriginalPaper Open access 08 August 2017 Pages: 69 - 91
Verifying OpenJDK’s Sort Method for Generic Collections
Stijn de Gouw
Frank S. de Boer
Dominic Steinhöfel
OriginalPaper Open access 31 August 2017 Pages: 93 - 126
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic
Mauro Ferrari
Camillo Fiorentini
OriginalPaper 07 September 2017 Pages: 127 - 167