Algorithmische Modelltheorie: Vorlesung (Di, 05.11.2019)

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

00:04:17
Dualität
00:09:53
Berechenbarkeit (lfp und gfp in PTIME)
00:14:00
Definition (LFP)
00:22:52
Beispiele (LFP-Formeln)
00:59:27
Komplexität von LFP
01:04:35
Negationsnormalform für LFP
01:12:20
Beispiel (Bisimulation als gfp)
01:24:12
Ausblick (LFP ≠ PTIME)