Author:
Andrade de Melo Alexsander,de Oliveira Oliveira Mateus
Publisher
Springer International Publishing
Reference30 articles.
1. Blumensath, A.: Automatic structures. Diploma thesis. Rheinisch-Westfälische Technische Hochschule Aachen (1999)
2. Blumensath, A., Gradel, E.: Automatic structures. In: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, pp. 51–62. IEEE (2000)
3. Bollig, B.: On symbolic OBDD-based algorithms for the minimum spanning tree problem. Theoret. Comput. Sci. 447, 2–12 (2012)
4. Lecture Notes in Computer Science;B Bollig,2014
5. Bonomo, F., Grippo, L.N., Milanič, M., Safe, M.D.: Graph classes with and without powers of bounded clique-width. Discrete Appl. Math. 199, 3–15 (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Second-Order Finite Automata;Theory of Computing Systems;2022-06-22