Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Koutsoukou-Argyraki, Angeliki
2021.
Connecting with Computability.
Vol. 12813,
Issue. ,
p.
285.
Koutsoukou-Argyraki, Angeliki
2021.
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started.
Jahresbericht der Deutschen Mathematiker-Vereinigung,
Vol. 123,
Issue. 1,
p.
3.