Skip to main content
main-content

Zeitschrift

Journal of Automated Reasoning

Journal of Automated Reasoning 6/2020

Ausgabe 6/2020

Inhaltsverzeichnis ( 4 Artikel )

23.09.2019 | Ausgabe 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 | Ausgabe 6/2020 Open Access

Efficient Strategies for CEGAR-Based Model Checking

Ákos Hajdu, Zoltán Micskei

30.11.2019 | Ausgabe 6/2020

Exploring the Structure of an Algebra Text with Locales

Clemens Ballarin

06.01.2020 | Ausgabe 6/2020

A Library for Formalization of Linear Error-Correcting Codes

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Aktuelle Ausgaben

Premium Partner

    Bildnachweise