Author:
Berwanger Dietmar,Grädel Erich,Lenzi Giacomo
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. H. Andréka, J. Van Benthem, AND I. Németi, Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic, 27 (1998), 217–274.
2. A. Arnold, The mu-calculus alternation-depth is strict on binary trees, RAIRO Informatique Théorique et Applications, 33 (1999), 329–339.
3. A. Arnold AND D. Niwiński, Rudiments of μ-calculus, North Holland, 2001.
4. D. Berwanger, Game logic is strong enough for parity games, Studia Logica. Special issue on Game Logic and Game Algebra, (2002).
5. Lect Notes Comput Sci;D. Berwanger,2001
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献