Pages that link to "Item:Q3004595"
From MaRDI portal
The following pages link to Normalization of Sequential Top-Down Tree-to-Word Transducers (Q3004595):
Displaying 5 items.
- Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time (Q2817401) (← links)
- Breaking through the normalization barrier: a self-interpreter for F-omega (Q2828238) (← links)
- GENERIC ∊-REMOVAL AND INPUT ∊-NORMALIZATION ALGORITHMS FOR WEIGHTED TRANSDUCERS (Q3021943) (← links)
- (Q3304147) (← links)
- Equivalence of Linear Tree Transducers with Output in the Free Group (Q5041262) (← links)