Pages that link to "Item:Q3804222"
From MaRDI portal
The following pages link to Yield-languages recognized by alternating tree recognizers (Q3804222):
Displaying 4 items.
- Decidability of equivalence for deterministic synchronized tree automata (Q671682) (← links)
- Synchronized tree automata (Q1325832) (← links)
- Representation of recursively enumerable languages using alternating finite tree recognizers (Q3974879) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q5096728) (← links)