The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Monadic second-order logic and bisimulation invariance for coalgebras

På svenska

Author

  • Sebastian Enqvist
  • Fatemeh Seifan
  • Yde Venema

Editor

  • Randall Bilof

Publishing year

2015

Language

English

Pages

353-365

Publication/Series

Logic in Computer Science (LICS 2015)

Document type

Conference paper

Publisher

Institute for Electrical and Electronics Engineers

Topic

  • Computer Science

Conference name

30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)

Conference date

2015-07-06 - 2015-07-10

Conference place

Kyoto, Japan

Status

Published