The following pages link to Symbolic tree automata (Q483051):
Displaying 9 items.
- Forward and backward application of symbolic tree transducers (Q404011) (← links)
- Weighted Symbolic Automata with Data Storage (Q2817389) (← links)
- Nested Sibling Tree Automata (Q3625699) (← links)
- Minimization of Symbolic Tree Automata (Q4635952) (← links)
- Feature automata and recognizable sets of feature trees (Q5044748) (← links)
- (Q5090498) (← links)
- Projection for Büchi Tree Automata with Constraints between Siblings (Q5859646) (← links)
- Reasoning About Data Trees Using CHCs (Q6487339) (← links)
- Succinct ordering and aggregation constraints in algebraic array theories (Q6561348) (← links)