Author:
Takahashi Yuta,Asada Kazuyuki,Nakano Keisuke
Publisher
Springer International Publishing
Reference13 articles.
1. Alur, R., D’Antoni, L.: Streaming tree transducers. J. ACM 64(5), 31:1–31:55 (2017)
2. Alur, R., Černý, P.: Streaming transducers for algorithmic verification of single-pass list-processing programs. In: POPL 2011, pp. 599–610. ACM (2011)
3. Comon, H., Dauchet, M., Gilleron, R., Löding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications (2007)
4. Engelfriet, J.: Top-down tree transducers with regular look-ahead. Math. Syst. Theory 10(1), 289–303 (1976)
5. Engelfriet, J.: Some open questions and recent results on tree transducers and tree languages. In: Formal Language Theory, pp. 241–286. Academic Press (1980)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献