Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 2/2021
Journal of Automated Reasoning

Issue 2/2021

share
SHARE
insite
SEARCH

Table of Contents (6 Articles)

12-02-2021

Message from the New Editor-in-Chief
Jasmin Blanchette

Open Access 29-05-2020

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

02-09-2020

Mechanisation of the AKS Algorithm
Hing Lun Chan, Michael Norrish

20-08-2020

TacticToe: Learning to Prove with Tactics
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish

Open Access 05-09-2020

Machine Learning Guidance for Connection Tableaux
Michael Färber, Cezary Kaliszyk, Josef Urban

Open Access 16-07-2020

CoCon: A Conference Management System with Formally Verified Document Confidentiality
Andrei Popescu, Peter Lammich, Ping Hou

Premium Partner