Definability of Languages by Generalized First-Order Formulas over $(\mathbb{N},+)$ (Q5386211)
From MaRDI portal
scientific article; zbMATH DE number 5265802
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definability of Languages by Generalized First-Order Formulas over $(\mathbb{N},+)$ |
scientific article; zbMATH DE number 5265802 |
Statements
Definability of Languages by Generalized First-Order Formulas over $(\mathbb{N},+)$ (English)
0 references
22 April 2008
0 references
finite model theory
0 references
circuit complexity
0 references
semigroup theory
0 references
