Automatentheorie und Logik (Q3083622)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatentheorie und Logik |
scientific article |
Statements
Automatentheorie und Logik (English)
0 references
22 March 2011
0 references
finite automata
0 references
alternating automata
0 references
Büchi automata
0 references
Rabin automata
0 references
Streett automata
0 references
Muller automata
0 references
parity automata
0 references
tree automata
0 references
finite words
0 references
infinite words
0 references
finite trees
0 references
infinite trees
0 references
formal languages
0 references
tree languages
0 references
parity games
0 references
Ehrenfeucht-Fraïssé games
0 references
monadic second-order logic
0 references
temporal logic
0 references
modal \(\mu\)-calculus
0 references
decision problems
0 references
decidability
0 references
