Pages that link to "Item:Q2506497"
From MaRDI portal
The following pages link to The monadic quantifier alternation hierarchy over grids and graphs (Q2506497):
Displayed 11 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
- Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages (Q3014932) (← links)
- Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures (Q5958302) (← links)