Marrying words and trees, ACM SIGMOD-SIGACT-SIGART SPDS, vol.26, pp.233-242, 2007. ,
DOI : 10.1007/978-3-540-74510-5_3
URL : http://repository.upenn.edu/cgi/viewcontent.cgi?article=1549&context=cis_papers
Visibly pushdown languages, Proceedings of the thirty-sixth annual ACM symposium on Theory of computing , STOC '04, pp.202-211, 2004. ,
DOI : 10.1145/1007352.1007390
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3757
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs, pp.184-195, 2008. ,
DOI : 10.1007/978-3-540-88282-4_18
Tree Auto, 2007. ,
Deciding Equiv. of Top-Down XML Transformations in Poly, Time. Journal of Comp. and Syst. Sci, 2009. ,
Streaming tree automata, Information Processing Letters, vol.109, issue.1, pp.13-17, 2008. ,
DOI : 10.1016/j.ipl.2008.08.002
URL : https://hal.archives-ouvertes.fr/inria-00288445
Synchronizable deterministic pushdown automata and the decidability of their equivalence, Acta Informatica, vol.13, issue.5, pp.597-605, 1986. ,
DOI : 10.1007/BF00288472
Models of Tree Translation ,
XML type checking with macro tree transducers, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '05, pp.283-294, 2005. ,
DOI : 10.1145/1065167.1065203
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.549
Typechecking Top-Down Uniform Unranked Tree Transducers, ICDT LNCS, vol.2572, pp.64-78, 2003. ,
DOI : 10.1007/3-540-36285-1_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.7559
Locating Matches of Tree Patterns in Forests, Found. of Soft. Tech. and Theor. Comp. Sci, pp.134-145, 1998. ,
DOI : 10.1007/978-3-540-49382-2_12
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
Testing equivalence of morphisms on context-free languages, pp.460-470, 1994. ,
DOI : 10.1007/BFb0049431
Polynomial Size Test Sets For Context-Free Languages, Journal of Computer and System Sciences, vol.50, issue.1, pp.11-19, 1995. ,
DOI : 10.1006/jcss.1995.1002
Visibly Pushdown Transducers, Auto., Lang. and Prog. LNCS, vol.5126, pp.386-397, 2008. ,
DOI : 10.1007/978-3-540-70583-3_32
URL : https://hal.archives-ouvertes.fr/inria-00492241
The equivalence problem for deterministic pushdown automata is decidable, Auto., Lang. and Prog. LNCS, vol.1256, pp.671-681, 1997. ,
DOI : 10.1007/3-540-63165-8_221
Complexity Results on Balanced Context-Free Languages, FoSSaCS LNCS, vol.4423, pp.346-360, 2007. ,
DOI : 10.1007/978-3-540-71389-0_25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.4226