Algorithmische Modelltheorie: Vorlesung (Di, 15.10.2019)

Kapitel:

00:01:34
Domino Probleme
00:34:23
Anwendungen der Domino Methode