Game Constructions that are Safe for Bisimulation

Authors
  • M. Pauly
Publication date 1999
Host editors
  • M. Marx
  • J. Gerbrandy
  • M. de Rijke
  • Y. Venema
Book title JFAK --- Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday
Publisher Amsterdam: ILLC
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back