Advanced

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

Enqvist, Sebastian LU ; Seifan, Fatemeh and Venema, Yde (2015) In Preprint without journal information
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
unpublished
subject
in
Preprint without journal information
publisher
Manne Siegbahn Institute
external identifiers
  • Other:arXiv:1501.07215
ISSN
0348-7911
language
English
LU publication?
yes
id
4331e16f-d555-44eb-bbc3-79236aa2809b (old id 5034843)
alternative location
http://arxiv-web3.library.cornell.edu/abs/1501.07215
date added to LUP
2015-01-30 09:24:26
date last changed
2016-06-28 14:36:21
@misc{4331e16f-d555-44eb-bbc3-79236aa2809b,
  author       = {Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde},
  issn         = {0348-7911},
  language     = {eng},
  publisher    = {ARRAY(0xab0f8c8)},
  series       = {Preprint without journal information},
  title        = {Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras},
  year         = {2015},
}