A logic for constant-depth circuits (Q3722427)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A logic for constant-depth circuits |
scientific article |
Statements
A logic for constant-depth circuits (English)
0 references
1984
0 references
Boolean circuits
0 references
concise representation of a family of parallel algorithms
0 references
Boolean functions
0 references
extended first-order logic
0 references
unbounded-fan- in circuits
0 references
Turing machines
0 references
computational complexity
0 references
