A model-theoretic characterization of constant-depth arithmetic circuits (Q2273012)
From MaRDI portal
(Redirected from Item:Q2820697)
scientific article; zbMATH DE number 6625890
- A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model-theoretic characterization of constant-depth arithmetic circuits |
scientific article; zbMATH DE number 6625890 |
|
Statements
A model-theoretic characterization of constant-depth arithmetic circuits (English)
0 references
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits (English)
0 references
18 September 2019
0 references
9 September 2016
0 references
finite model theory
0 references
Fagin's theorem
0 references
arithmetic circuits
0 references
counting classes
0 references
Skolem function
0 references
