Algorithmische Modelltheorie: Vorlesung (Di, 03.12.2019)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:02:00
Bisimulationsinvarianz (von Lμ)
00:17:12
Definition (inflationäre Fixpunktlogik IFP)
00:34:11
Komplexität von IFP
00:43:20
Beispiele (IFP-Formeln)
00:58:00
Beweis (IFP = LFP)
00:58:00
Stage Comparison Relationen
01:11:51
Definierbarkeit der Stage Comparison Relationen in IFP