Publication:4381381
From MaRDI portal
zbMath0892.03005MaRDI QIDQ4381381
Publication date: 1 April 1998
Related Items
Domain mu-calculus, Theμ-calculus alternation-depth hierarchy is strict on binary trees, Fixpoint alternation: arithmetic, transition systems, and the binary tree, The alternation hierarchy in fixpoint logic with chop is strict too, Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata