Author:
Landwehr Patrick,Löding Christof
Publisher
Springer International Publishing
Reference20 articles.
1. Barguñó, L., Creus, C., Godoy, G., Jacquemard, F., Vacher, C.: The emptiness problem for tree automata with global constraints. In: LICS, pp. 263–272 (2010)
2. Bogaert, B.: Automates d’arbres avec test d’égalité. Ph.D. thesis, L’Universitédes Sciences et Techniques de Lille Flandres-Arto (1990)
3. Bogaert, B., Tison, S.: Equality and disequality constraints on direct subterms in tree automata. In: STACS, pp. 161–171 (1992)
4. Carayol, A., Löding, C., Serre, O.: Automata on infinite trees with equality and disequality constraints between siblings. In: LICS, pp. 227–236 (2016)
5. Comon, H., et al.: Tree Automata Techniques and Applications. http://tata.gforge.inria.fr/ . Accessed 12 Oct 2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献