Skip to main content
Register
Springer Professional
TOOLBAR 1 2 3 4
SEARCH
MENU 1 2 3 4
Close search form
EXTENDED SEARCH
main-content
Top
Issue archive
​
archive
​
insite
Print
​
print
​
share

Journal

Journal of Automated Reasoning

 Journal of Automated Reasoning 5/2020

Issue 5/2020

Special Issue: Selected Extended Papers from ITP 2018

Table of Contents ( 7 Articles )

22-05-2020 | Issue 5/2020

Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Jeremy Avigad, Assia Mahboubi

31-01-2020 | Issue 5/2020

Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
Christian Doczkal, Damien Pous

09-06-2020 | Issue 5/2020 Open Access

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
Download PDF-version View full text

10-12-2019 | Issue 5/2020 Open Access

A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda
Matthew L. Daggitt, Ran Zmigrod, Timothy G. Griffin
Download PDF-version View full text

08-02-2020 | Issue 5/2020 Open Access

Verified Analysis of Random Binary Tree Structures
Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
Download PDF-version View full text

18-01-2020 | Issue 5/2020

Formal Reasoning Under Cached Address Translation
Hira Taqdees Syeda, Gerwin Klein

18-02-2020 | Issue 5/2020

The MetaCoq Project
Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter

Current Publications

Journal of Automated Reasoning 1/2021

Issue 1/2021
Journal of Automated Reasoning 8/2020

Issue 8/2020
Journal of Automated Reasoning 7/2020

Issue 7/2020
Journal of Automated Reasoning 6/2020

Issue 6/2020
Journal of Automated Reasoning 5/2020

Issue 5/2020
Journal of Automated Reasoning 4/2020

Issue 4/2020
Journal of Automated Reasoning 3/2020

Issue 3/2020
Journal of Automated Reasoning 2/2020

Issue 2/2020
Journal of Automated Reasoning 1/2020

Issue 1/2020
Journal of Automated Reasoning 4/2019

Issue 4/2019

Premium Partner

Neuer Inhalt
    Image Credits

    Version: 0.1251.0