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

Redaktör

  • Randall Bilof

Avdelning/ar

Publiceringsår

2015

Språk

Engelska

Sidor

353-365

Publikation/Tidskrift/Serie

Logic in Computer Science (LICS 2015)

Dokumenttyp

Konferensbidrag

Förlag

Institute for Electrical and Electronics Engineers

Ämne

  • Computer Science

Conference name

30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)

Conference date

2015-07-06 - 2015-07-10

Conference place

Kyoto, Japan

Status

Published