The following pages link to (Q3086920):
Displaying 13 items.
- The factorisation forest theorem (Q2074219) (← links)
- Bisimulation invariant monadic-second order logic in the finite (Q2182315) (← links)
- Regularity Equals Monadic Second-Order Definability for Quasi-trees (Q2947169) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (Q3451103) (← links)
- Model Transformations in Decidability Proofs for Monadic Theories (Q3540168) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- Solving Infinite Games in the Baire Space (Q5038566) (← links)
- (Q5094127) (← links)
- (Q5109508) (← links)
- (Q5376663) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- Feferman-vaught decompositions for prefix classes of first order logic (Q6117143) (← links)
