Skip to main content
Registrieren
Springer Professional
SUCHE
MENÜ 1 2 3 4
nach oben

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
PDF-Version jetzt herunterladen Zum Volltext

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
PDF-Version jetzt herunterladen Zum Volltext

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
PDF-Version jetzt herunterladen Zum Volltext

Open Access 23.07.2021

Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Patrick Trentin, Roberto Sebastiani
PDF-Version jetzt herunterladen Zum Volltext

Aktuelle Ausgaben

Ausgabe 1/2023

Ausgabe 4/2022

Ausgabe 3/2022

Ausgabe 2/2022

Ausgabe 1/2022

Ausgabe 8/2021

Ausgabe 7/2021

Ausgabe 6/2021

Ausgabe 5/2021

Ausgabe 4/2021

Premium Partner