Author:
Berwanger Dietmar,Grädel Erich
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Balcazar, J.L., Diaz, J., Gabarro, J.: Structural complexity 2. Springer, Heidelberg (1988)
2. Berwanger, D.: Games and Logical Expressiveness, Ph. D. Thesis, RWTH Aachen (2005)
3. Lecture Notes in Computer Science;D. Berwanger,2002
4. Lecture Notes in Computer Science;D. Berwanger,2005
5. Emerson, A., Jutla, C.: Tree automata, mu-calculus and determinacy. In: Proc. 32nd IEEE Symp. on Foundations of Computer Science, pp. 368–377 (1991)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献