The Freedoms of (Guarded) Bisimulation
Grädel, Erich (Corresponding author); Otto, Martin
Cham ; s.l : Springer International Publishing ; Imprint: Springer (2014)
Contribution to a book
In: Johan van Benthem on logic and information dynamics / Alexandru Baltag ..., eds.
Page(s)/Article-Nr.: 3-31
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.1007/978-3-319-06025-5_1
- RWTH PUBLICATIONS: RWTH-CONV-211650