Author:
Alur Rajeev,D’Antoni Loris
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Comon, H., Dauchet, M., Gilleron, R., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications. Draft (2002), http://www.grappa.univ-lille3.fr/tata/
2. Courcelle, B.: Monadic second-order definable graph transductions: A survey. Theor. Comput. Sci. 126(1), 53–75 (1994)
3. Engelfriet, J., Maneth, S.: Macro tree transducers, attribute grammars, and MSO definable tree translations. Information and Computation 154, 34–91 (1999)
4. Engelfriet, J., Vogler, H.: Macro tree transducers. J. Comput. System Sci. 31, 71–146 (1985)
5. Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of the 19th ACM Symposium on PODS, pp. 11–22 (2000)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献