The Freedoms of (Guarded) Bisimulation

Cham ; s.l / Springer International Publishing ; Imprint: Springer (2014) [Contribution to a book]

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

Authors

Selected Authors

Grädel, Erich
Otto, Martin

Identifier