Alternating tree automata, parity games, and modal \(\mu\)-calculus (Q5952907)
From MaRDI portal
scientific article; zbMATH DE number 1690549
Language | Label | Description | Also known as |
---|---|---|---|
English | Alternating tree automata, parity games, and modal \(\mu\)-calculus |
scientific article; zbMATH DE number 1690549 |
Statements
Alternating tree automata, parity games, and modal \(\mu\)-calculus (English)
0 references
14 January 2002
0 references
alternating tree automata
0 references
modal \(\mu\)-calculus
0 references