Talks

  1. Cantor-Vorlesung
  2. Graphen und Matrizen
  3. There are 49 Kuratowski lattices
  4. EQINOCS 2013
  5. Varieties of Algorithmic Information 2015
  6. AutoMathA 2015, Leipzig, May 6 - 9
  7. ω-automata: Topology and Measure
  8. Mathematics for Computation
  9. DCFS 2018
  10. CIAA 2018
4 slides on one page

Papers

  1. Reguläre Nullmengen
  2. Research in the Theory of ω-languages
  3. Hierarchies of Recursive ω-languages