Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

In English

Författare

  • Sebastian Enqvist
  • Fatemeh Seifan
  • Yde Venema

Avdelning/ar

Publiceringsår

2015

Språk

Engelska

Publikation/Tidskrift/Serie

Preprint without journal information

Dokumenttyp

Artikel i tidskrift

Förlag

Manne Siegbahn Institute

Ämne

  • Philosophy

Status

Unpublished

ISBN/ISSN/Övrigt

  • ISSN: 0348-7911
  • arXiv:1501.07215