The following pages link to (Q4951166):
Displayed 4 items.
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
- Deterministic and unambiguous two-dimensional languages over one-letter alphabet (Q1013124) (← links)
- Classes of two-dimensional languages and recognizability conditions (Q2998728) (← links)
- Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures (Q5958302) (← links)