Streaming Tree Transducers, Lecture Notes in Computer Science, vol.7392, issue.2, pp.42-53, 2012. ,
DOI : 10.1007/978-3-642-31585-5_8
Minimizing subsequential transducers: a survey, Theoretical Computer Science, vol.292, issue.1, pp.131-143, 2003. ,
DOI : 10.1016/S0304-3975(01)00219-5
The equivalence problem for deterministic MSO tree transducers is decidable, Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science ? FSTTCS'2005, pp.495-504, 2005. ,
DOI : 10.1016/j.ipl.2006.05.015
URL : http://arxiv.org/abs/cs/0506014
Macro Tree Translations of Linear Size Increase are MSO Definable, SIAM Journal on Computing, vol.32, issue.4, pp.950-1006, 2003. ,
DOI : 10.1137/S0097539701394511
Deciding equivalence of top???down XML transformations in polynomial time, Journal of Computer and System Sciences, vol.75, issue.5, pp.271-286, 2009. ,
DOI : 10.1016/j.jcss.2009.01.001
Macro tree transducers, Journal of Computer and System Sciences, vol.31, issue.1, pp.71-146, 1985. ,
DOI : 10.1016/0022-0000(85)90066-2
URL : http://doi.org/10.1016/0022-0000(85)90066-2
Normalization of Sequential Top-Down Tree-to-Word Transducers, LATA, pp.354-365, 2011. ,
DOI : 10.1007/978-3-642-21254-3_28
URL : https://hal.archives-ouvertes.fr/inria-00566291
Learning Sequential Tree-to-Word Transducers, Language and Automata Theory and Applications -8th International Conference Proceedings, pp.490-502, 2014. ,
DOI : 10.1007/978-3-319-04921-2_40
URL : https://hal.archives-ouvertes.fr/hal-00912969
A learning algorithm for top-down XML transformations, Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems of data, PODS '10, pp.285-296, 2010. ,
DOI : 10.1145/1807085.1807122
URL : https://hal.archives-ouvertes.fr/inria-00460489
Exact XML Type Checking in Polynomial Time, International Conference on Database Technology, pp.254-268, 2007. ,
DOI : 10.1007/11965893_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.1094
Learning subsequential transducers for pattern recognition interpretation tasks, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.15, issue.5, pp.448-458, 1993. ,
DOI : 10.1109/34.211465
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.1566
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, pp.17-20, 2015. ,
DOI : 10.1109/FOCS.2015.62