Some Subsystems of Constant-Depth Frege with Parity (Q4617974)
From MaRDI portal
scientific article; zbMATH DE number 7014563
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some Subsystems of Constant-Depth Frege with Parity |
scientific article; zbMATH DE number 7014563 |
Statements
Some Subsystems of Constant-Depth Frege with Parity (English)
0 references
7 February 2019
0 references
constant-depth Frege
0 references
counting axioms
0 references
modular counting
0 references
propositional proof complexity
0 references
