Automatentheorie und Logik (Q3083622)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5869418
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automatentheorie und Logik |
scientific article; zbMATH DE number 5869418 |
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
0 references
0 references
