Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 7/2021
Journal of Automated Reasoning

Issue 7/2021

Special Issue: Selected Extended Papers of CADE 2019

share
SHARE
insite
SEARCH

Table of Contents (7 Articles)

18-06-2021

Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine

Open Access 21-08-2021

Superposition with Lambdas
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann

Open Access 21-06-2021

Model Completeness, Uniform Interpolants and Superposition Calculus
(With Applications to Verification of Data-Aware Processes)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

03-08-2021

Automata Terms in a Lazy WSkS Decision Procedure
Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar

18-06-2021

Towards Satisfiability Modulo Parametric Bit-vectors
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett, Cesare Tinelli

Open Access 28-08-2021

Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant
Andrei Popescu, Dmitriy Traytel

Open Access 23-07-2021

Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Patrick Trentin, Roberto Sebastiani

Premium Partner