Author:
Benedikt Michael,Engelfriet Joost,Maneth Sebastian
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Afrati, F.N.: Determinacy and query rewriting for conjunctive queries and views. Theor. Comput. Sci. 412(11), 1005–1021 (2011)
2. Lecture Notes in Computer Science;R. Alur,2012
3. Arnold, A., Dauchet, M.: Bi-transductions de forêts. In: ICALP (1976)
4. Bloem, R., Engelfriet, J.: A comparison of tree transductions defined by monadic second order logic and by attribute grammars. J. Comput. Syst. Sci. 61(1), 1–50 (2000)
5. Courcelle, B., Engelfriet, J.: Graph Structure and Monadic Second-Order Logic, a Language-Theoretic Approach. Cambridge University Press (2012)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Decision problems of tree transducers with origin;Information and Computation;2018-08
2. Automatic program inversion using symbolic transducers;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14
3. Determinacy and rewriting of functional top–down and MSO tree transformations;Journal of Computer and System Sciences;2017-05
4. Query Rewriting for Nondeterministic Tree Transducers;IEICE Transactions on Information and Systems;2016
5. Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers;IEICE Transactions on Information and Systems;2016