Model-theoretic characterization of Boolean and arithmetic circuit classes of small depth (Q5145309)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model-theoretic characterization of Boolean and arithmetic circuit classes of small depth |
scientific article; zbMATH DE number 7298760
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model-theoretic characterization of Boolean and arithmetic circuit classes of small depth |
scientific article; zbMATH DE number 7298760 |
Statements
Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth (English)
0 references
20 January 2021
0 references
arithmetic circuits
0 references
counting classes
0 references
descriptive complexity
0 references
finite model theory
0 references
0.8613941073417664
0 references
0.8610631823539734
0 references
0.7758768796920776
0 references
