Pages that link to "Item:Q2911638"
From MaRDI portal
The following pages link to Definable operations on weakly recognizable sets of trees (Q2911638):
Displaying 7 items.
- On the Weak Index Problem for Game Automata (Q2947463) (← links)
- Deciding the weak definability of Büchi definable tree languages (Q2958524) (← links)
- (Q3110192) (← links)
- Frame Definability for Classes of Trees in the μ-calculus (Q3586099) (← links)
- Weak index versus Borel rank (Q4910751) (← links)
- (Q5186728) (← links)
- Index Problems for Game Automata (Q5278187) (← links)