Volume 65, Issue 5 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 65, Issue 5

June 2021

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Schematic Refutations of Formula Schemata
David M. Cerna
Alexander Leitsch
Anela Lolic
OriginalPaper Open access 19 November 2020 Pages: 599 - 645
Craig Interpolation with Clausal First-Order Tableaux
Christoph Wernhard
OriginalPaper 27 May 2021 Pages: 647 - 690
Certified Quantum Computation in Isabelle/HOL
Anthony Bordg
Hanna Lachnitt
Yijun He
OriginalPaper Open access 24 December 2020 Pages: 691 - 709