Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 4/2020

Issue 4/2020

Table of Contents ( 6 Articles )

16-04-2019 | Issue 4/2020

A Formalized General Theory of Syntax with Bindings: Extended Version

Lorenzo Gheri, Andrei Popescu

16-04-2019 | Issue 4/2020

Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs

Siddhartha Gadgil

07-05-2019 | Issue 4/2020

Automated Reasoning with Power Maps

G. I. Moghaddam, R. Padmanabhan, Yang Zhang

17-06-2019 | Issue 4/2020 Open Access

A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm

Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada

04-07-2019 | Issue 4/2020

Formalizing the Cox–Ross–Rubinstein Pricing of European Derivatives in Isabelle/HOL

Mnacho Echenim, Hervé Guiol, Nicolas Peltier

03-10-2019 | Issue 4/2020

An Assertional Proof of Red–Black Trees Using Dafny

Ricardo Peña

Current Publications

Premium Partner

    Image Credits