PhD thesis on: Nominal Techniques and Black Box Testing for Automata Learning
Updated 2025-04-09 21:34:25 +02:00
Master thesis on Rational Homotopy Theory
Updated 2025-04-09 21:33:51 +02:00
Bachelor thesis about the Dold-Kan correspondence
Updated 2025-04-09 21:33:28 +02:00