Algorithmische Modelltheorie: Vorlesung (Mi, 08.05.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:15:52
3: LFP und Infinitäre Logiken
00:47:15
3.3: Least Fixed-Point Logic