The Freedoms of (Guarded) Bisimulation

Cham ; s.l / Springer International Publishing ; Imprint: Springer (2014) [Buchbeitrag]

Johan van Benthem on logic and information dynamics / Alexandru Baltag ..., eds.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich
Otto, Martin

Identifikationsnummern