Mathematische Logik: Vorlesung 23 (Do, 20.07.2017)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:06:26
Bisimilarität vs n-Bisimilarität für alle n aus N
00:16:03
Bisimulationsinvarianz von ML
00:30:15
Endlich verzweigte Transitionssysteme
00:47:47
Baummodelle