Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
From MaRDI portal
Publication:4635817
DOI10.1109/LICS.2015.41zbMath1394.03083arXiv1501.07215MaRDI QIDQ4635817
Sebastian Enqvist, Fatemeh Seifan, Yde Venema
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1501.07215
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Unnamed Item ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ A quantified coalgebraic van Benthem theorem ⋮ Quasipolynomial computation of nested fixpoints ⋮ NP reasoning in the monotone \(\mu\)-calculus
This page was built for publication: Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
