First-order and counting theories of<i>ω</i>-automatic structures (Q5387304)
From MaRDI portal
scientific article; zbMATH DE number 5273198
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-order and counting theories of<i>ω</i>-automatic structures |
scientific article; zbMATH DE number 5273198 |
Statements
First-order and counting theories of<i>ω</i>-automatic structures (English)
0 references
8 May 2008
0 references
\(\omega\)-automatic structures
0 references
generalized quantifiers
0 references
decidability
0 references
