Algorithmische Modelltheorie: Vorlesung (Di, 29.10.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:08
Fortsetzung (Satz von Fagin)
00:40:58
Satz (Cook & Levin)
00:52:25
Definition (SO-HORN, ∑¹₁-HORN)
00:58:18
Satz (∑¹₁-HORN entspricht SO-HORN)
01:24:09
Satz (SO-HORN liegt in PTIME)