Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 1/2022
Journal of Automated Reasoning

Issue 1/2022

share
SHARE
insite
SEARCH

Table of Contents (5 Articles)

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

Premium Partner