The Freedoms of (Guarded) Bisimulation

Springer (2014) [Buchbeitrag]

Johan van Benthem on Logic and Information Dynamics. - 5

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich
Otto, Martin