Author:
Ésik Zoltan,Okawa Satoshi
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Arnold, A., Niwinski, D.: Rudiments of the μ-Calculus. Elsevier (2011)
2. Bedon, N.: Finite automata and ordinals. Theoretical Computer Science 156, 119–144 (1996)
3. Lecture Notes in Computer Science;N. Bedon,2008
4. Lecture Notes in Computer Science;A. Bès,2005
5. Bloom, S.L., Choffrut, C.: Long words: the theory of concatenation and ω-power. Theoretical Computer Science 259, 533–548 (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献