Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

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) p.353-365
Please use this url to cite or link to this publication:
author
; and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
host publication
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)
conference location
Kyoto, Japan
conference dates
2015-07-06 - 2015-07-10
external identifiers
  • scopus:84945966706
language
English
LU publication?
yes
id
967a81a7-c498-4cd6-ae37-5bdaf0b9e70d (old id 7864903)
date added to LUP
2016-04-04 10:41:26
date last changed
2022-01-29 20:42:19
@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}},
}