Pages that link to "Item:Q845868"

The following pages link to The equivalence problem for deterministic MSO tree transducers is decidable (Q845868):

Displaying 11 items.

• Determinacy and rewriting of functional top-down and MSO tree transformations (Q730500) (← links)
• A faithful representation of non-associative Lambek grammars in abstract categorial grammars (Q972436) (← links)
• Deciding equivalence of top-down XML transformations in polynomial time (Q1021574) (← links)
• Decision problems of tree transducers with origin (Q1641005) (← links)
• A Survey on Decidable Equivalence Problems for Tree Transducers (Q2800413) (← links)
• Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time (Q2817401) (← links)
• EARLIEST NORMAL FORM AND MINIMIZATION FOR BOTTOM-UP TREE TRANSDUCERS (Q2909099) (← links)
• Decision Problems of Tree Transducers with Origin (Q3449477) (← links)
• Copyful Streaming String Transducers (Q4989167) (← links)
• (Q5089205) (← links)
• Streaming ranked-tree-to-string transducers (Q5918275) (← links)