Pages that link to "Item:Q5452188"
From MaRDI portal
The following pages link to Tree Automata over Infinite Alphabets (Q5452188):
Displayed 9 items.
- Forward and backward application of symbolic tree transducers (Q404011) (← links)
- Symbolic tree automata (Q483051) (← links)
- Regular expressions for data words (Q2353403) (← links)
- A note on the emptiness problem for alternating finite-memory automata (Q2437765) (← links)
- Complexity results on register context-free grammars and related formalisms (Q2672616) (← links)
- FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT (Q3056277) (← links)
- (Q5090498) (← links)
- Projection for Büchi Tree Automata with Constraints between Siblings (Q5859646) (← links)
- Active learning for deterministic bottom-up nominal tree automata (Q6109488) (← links)