Winter 2019/20

Theoretische Informatik 1: Endliche Automaten und formale Sprachen

Sparsity - Graphs and algorithms

Finite and algorithmic model theory