The following pages link to (Q3836531):
Displayed 7 items.
- Subshifts as models for MSO logic (Q384929) (← links)
- An optimal construction of Hanf sentences (Q420856) (← links)
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
- Shrinking games and local formulas (Q1877096) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- An Automaton over Data Words That Captures EMSO Logic (Q3090829) (← links)
- Subshifts, Languages and Logic (Q3637233) (← links)