Pages that link to "Item:Q729823"
From MaRDI portal
The following pages link to Counting branches in trees using games (Q729823):
Displaying 6 items.
- Trees and Ehrenfeucht-Fraïssé games (Q1125057) (← links)
- Automata on infinite trees with counting constraints (Q1898484) (← links)
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (Q3519517) (← links)
- Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695) (← links)
- (Q4995372) (← links)
- Automata on infinite trees with counting constraints (Q5044742) (← links)