The Freedoms of (Guarded) Bisimulation

Grädel, Erich (Corresponding author); Otto, Martin

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

Johan van Benthem on logic and information dynamics / Alexandru Baltag ..., eds.
Seite(n): 3-31

Identifikationsnummern