Pages that link to "Item:Q5002802"
From MaRDI portal
The following pages link to Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802):
Displaying 6 items.
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Bisimulation invariant monadic-second order logic in the finite (Q2182315) (← links)
- Monadic second order logic as the model companion of temporal logic (Q4635899) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465855) (← links)
- Calculating Invariants as Coreflexive Bisimulations (Q5505417) (← links)