Fragments of First-Order Logic over Infinite Words. (Q5389988)
From MaRDI portal
scientific article; zbMATH DE number 6027227
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fragments of First-Order Logic over Infinite Words. |
scientific article; zbMATH DE number 6027227 |
Statements
24 April 2012
0 references
infinite words
0 references
regular languages
0 references
first-order logic
0 references
automata theory
0 references
semigroups
0 references
topology
0 references
Fragments of First-Order Logic over Infinite Words. (English)
0 references
