Short refutations for an equivalence‐chain principle for constant‐depth formulas (Q5109242)
From MaRDI portal
scientific article; zbMATH DE number 7198334
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Short refutations for an equivalence‐chain principle for constant‐depth formulas |
scientific article; zbMATH DE number 7198334 |
Statements
Short refutations for an equivalence‐chain principle for constant‐depth formulas (English)
0 references
11 May 2020
0 references
