Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

Research output: Contribution to journalArticle

Details

Authors
  • Sebastian Enqvist
  • Fatemeh Seifan
  • Yde Venema
Organisations
Research areas and keywords

Subject classification (UKÄ) – MANDATORY

  • Philosophy
Original languageEnglish
JournalPreprint without journal information
Publication statusUnpublished - 2015
Publication categoryResearch
Peer-reviewedNo

Related research output

Enqvist, S., Seifan, F. & Venema, Y., 2015, Logic in Computer Science (LICS 2015). Bilof, R. (ed.). Institute for Electrical and Electronics Engineers, p. 353-365

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

View all (1)