Pages that link to "Item:Q4635817"
From MaRDI portal
The following pages link to Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (Q4635817):
Displaying 5 items.
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- (Q5875397) (← links)