The solvability of the equivalence problem for deterministic frontier-to-root tree transducers
@article{Zachar1979TheSO, title={The solvability of the equivalence problem for deterministic frontier-to-root tree transducers}, author={Z. Zachar}, journal={Acta Cybern.}, year={1979}, volume={4}, pages={167-177} }
Topics from this paper.
Citations
Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS
Minimization of Deterministic Bottom-Up Tree Transducers
VIEW 1 EXCERPT
CITES BACKGROUND
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time
VIEW 1 EXCERPT
CITES BACKGROUND
Decidability of Equivalence for Linear Letter to Letter To-down Tree Transducers
VIEW 1 EXCERPT
CITES BACKGROUND