Volume 65, Issue 7 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 65, Issue 7

October 2021

Special Issue: Selected Extended Papers of CADE 2019

Issue Editor:

Pascal Fontaine

7 articles in this issue

Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
EditorialNotes 18 June 2021 Pages: 891 - 892
Part of 1 collection:

Selected Extended Papers of CADE 2019
Superposition with Lambdas
Alexander Bentkamp
Jasmin Blanchette
Uwe Waldmann
OriginalPaper Open access 21 August 2021 Pages: 893 - 940
Part of 1 collection:

Selected Extended Papers of CADE 2019
Model Completeness, Uniform Interpolants and Superposition Calculus
Diego Calvanese
Silvio Ghilardi
Andrey Rivkin
OriginalPaper Open access 21 June 2021 Pages: 941 - 969
Part of 1 collection:

Selected Extended Papers of CADE 2019
Automata Terms in a Lazy WSkS Decision Procedure
Vojtěch Havlena
Lukáš Holík
Tomáš Vojnar
OriginalPaper 03 August 2021 Pages: 971 - 999
Part of 1 collection:

Selected Extended Papers of CADE 2019
Towards Satisfiability Modulo Parametric Bit-vectors
Aina Niemetz
Mathias Preiner
Cesare Tinelli
OriginalPaper 18 June 2021 Pages: 1001 - 1025
Part of 1 collection:

Selected Extended Papers of CADE 2019
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Andrei Popescu
Dmitriy Traytel
OriginalPaper Open access 28 August 2021 Pages: 1027 - 1070
Part of 1 collection:

Selected Extended Papers of CADE 2019
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Patrick Trentin
Roberto Sebastiani
OriginalPaper Open access 23 July 2021 Pages: 1071 - 1096
Part of 1 collection:

Selected Extended Papers of CADE 2019