Advanced

Monadic second-order logic and bisimulation invariance for coalgebras

Enqvist, Sebastian LU ; Seifan, Fatemeh and Venema, Yde (2015) 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) In Logic in Computer Science (LICS 2015) p.353-365
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
in
Logic in Computer Science (LICS 2015)
editor
Bilof, Randall
pages
353 - 365
publisher
Institute for Electrical and Electronics Engineers
conference name
30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
external identifiers
  • Scopus:84945966706
language
English
LU publication?
yes
id
967a81a7-c498-4cd6-ae37-5bdaf0b9e70d (old id 7864903)
date added to LUP
2015-09-17 12:52:40
date last changed
2017-01-01 07:59:10
@inproceedings{967a81a7-c498-4cd6-ae37-5bdaf0b9e70d,
  author       = {Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde},
  booktitle    = {Logic in Computer Science (LICS 2015)},
  editor       = {Bilof, Randall},
  language     = {eng},
  pages        = {353--365},
  publisher    = {Institute for Electrical and Electronics Engineers},
  title        = {Monadic second-order logic and bisimulation invariance for coalgebras},
  year         = {2015},
}