Pages that link to "Item:Q5465855"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465855):
Displaying 5 items.
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Bisimulation invariant monadic-second order logic in the finite (Q2182315) (← links)
- The monadic theory of finite representations of infinite words (Q2379951) (← links)
- Monadic structures over an ordered universal random graph and finite automata (Q3104500) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)