Pages that link to "Item:Q4635878"
From MaRDI portal
The following pages link to Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings (Q4635878):
Displaying 5 items.
- Projection for Büchi tree automata with constraints between siblings (Q1622997) (← links)
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (Q3519517) (← links)
- (Q5090498) (← links)
- Unranked Tree Automata with Sibling Equalities and Disequalities (Q5428866) (← links)
- Projection for Büchi Tree Automata with Constraints between Siblings (Q5859646) (← links)