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 10 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)
- A coalgebraic perspective on monotone modal logic (Q2847811) (← links)
- Fusion in relational structures and the verification of monadic second-order properties (Q3146251) (← links)
- On Monadic Second-Order Theories of Multidominance Structures (Q3585001) (← links)
- (Q4783334) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- (Q5875397) (← links)