Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 6/2020

Issue 6/2020

Table of Contents ( 4 Articles )

23-09-2019 | Issue 6/2020

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant

11-11-2019 | Issue 6/2020 Open Access

Efficient Strategies for CEGAR-Based Model Checking

Ákos Hajdu, Zoltán Micskei

30-11-2019 | Issue 6/2020

Exploring the Structure of an Algebra Text with Locales

Clemens Ballarin

06-01-2020 | Issue 6/2020

A Library for Formalization of Linear Error-Correcting Codes

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Current Publications

Premium Partner

    Image Credits