Pages that link to "Item:Q404011"
From MaRDI portal
The following pages link to Forward and backward application of symbolic tree transducers (Q404011):
Displaying 5 items.
- Symbolic tree automata (Q483051) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- (Q3615224) (← links)
- (Q4904149) (← links)
- Succinct ordering and aggregation constraints in algebraic array theories (Q6561348) (← links)