Skip to main content


Journal of Automated Reasoning 1/2022
Journal of Automated Reasoning

Ausgabe 1/2022


Inhaltsverzeichnis (5 Artikel)

Open Access 13.10.2021

Proof Complexity of Modal Resolution
Sarah Sigley, Olaf Beyersdorff

Open Access 12.09.2021

Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar

Open Access 31.10.2021

Predicate Transformer Semantics for Hybrid Systems
Verification Components for Isabelle/HOL
Jonathan Julián Huerta y Munive, Georg Struth

Open Access 16.11.2021

Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim

Open Access 15.11.2021 | Correction

Correction to: Differential Dynamic Logic for Hybrid Systems
André Platzer

Aktuelle Ausgaben

Premium Partner