Author:
Zinn Julian,M. Verma Rakesh
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Algebra and Number Theory
Reference11 articles.
1. Comon H.: Sequentiality, monadic second-order logic and tree automata. Inform. Comput. 157(1–2), 25–51 (2000)
2. Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications (2005). Available online at http://www.grappa.univ-lille3.fr/tata/
3. Godoy, G., Jacquemard, F.: Unique normalization for shallow TRS. In: Treinen, R. (ed.) Proceedings of the 20th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 5595, pp. 63–77 (2009)
4. Godoy G., Nieuwenhuis R., Tiwari A.: Classes of term rewrite systems with polynomial confluence problems. ACM Trans. Comput. Logic 5(2), 321–331 (2004)
5. Godoy, G., Tiwari, A.: Termination of rewrite systems with shallow right-linear, collapsing, and right-ground rules. In: Nieuwenhuis, R. (ed.) Proceedings of the 20th International Conference on Automated Deduction 2005, Lecture Notes in Computer Science, vol. 3632, pp. 164–176. Springer (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献