Skip to main content

Zeitschrift

Journal of Automated Reasoning 7/2021
Journal of Automated Reasoning

Ausgabe 7/2021

Special Issue: Selected Extended Papers of CADE 2019

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (7 Artikel)

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

Aktuelle Ausgaben

Premium Partner