Zeitschrift Journal of Automated Reasoning 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 PDF-Version jetzt herunterladen Zum Volltext 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
