˜Theœ computational content of abstract algebra and analysis

von Wiesnet, Franziskus
Veröffentlicht 2021

An Algorithmic Version of Zariski’s Lemma

von Wiesnet, Franziskus
Veröffentlicht in CiE (17. : 2021 : Gent, online) Connecting with Computability (2021)

Introduction to Minlog

von Wiesnet, Franziskus
Veröffentlicht in International Autumn School "Proof and Computation" (2016 : Fischbachau) Proof and computation (2018)