Skip to main content
main-content

Zeitschrift

Journal of Automated Reasoning

Journal of Automated Reasoning 4/2020

Ausgabe 4/2020

Inhaltsverzeichnis ( 6 Artikel )

16.04.2019 | Ausgabe 4/2020

A Formalized General Theory of Syntax with Bindings: Extended Version

Lorenzo Gheri, Andrei Popescu

16.04.2019 | Ausgabe 4/2020

Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs

Siddhartha Gadgil

07.05.2019 | Ausgabe 4/2020

Automated Reasoning with Power Maps

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

17.06.2019 | Ausgabe 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 | Ausgabe 4/2020

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

Mnacho Echenim, Hervé Guiol, Nicolas Peltier

03.10.2019 | Ausgabe 4/2020

An Assertional Proof of Red–Black Trees Using Dafny

Ricardo Peña

Aktuelle Ausgaben

Premium Partner

    Bildnachweise