Pages that link to "Item:Q4301635"
From MaRDI portal
The following pages link to Equivalence of finite-valued tree transducers is decidable (Q4301635):
Displaying 11 items.
- Queries on XML streams with bounded delay and concurrency (Q553309) (← links)
- Branching synchronization grammars with nested tables (Q596320) (← links)
- Determinacy and rewriting of functional top-down and MSO tree transformations (Q730500) (← links)
- The equivalence problem for deterministic MSO tree transducers is decidable (Q845868) (← links)
- Decidability of the finiteness of ranges of tree transductions (Q1271464) (← links)
- A survey on decidable equivalence problems for tree transducers (Q2800413) (← links)
- Decomposing a $k$-valued transducer into $k$ unambiguous ones (Q3126010) (← links)
- (Q4728263) (← links)
- (Q5092324) (← links)
- (Q5186756) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897794) (← links)