Pages that link to "Item:Q1193871"
From MaRDI portal
The following pages link to Alternating automata, the weak monadic theory of trees and its complexity (Q1193871):
Displayed 5 items.
- On mathematical contributions of Paul E. Schupp (Q716386) (← links)
- Reachability is decidable for weakly extended process rewrite systems (Q1023281) (← links)
- On the separation question for tree languages (Q2254515) (← links)
- The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees (Q4943546) (← links)
- Converting a Büchi alternating automaton to a usual nondeterministic one (Q5955787) (← links)