Proof checking and non-approximability (Q4571889)
From MaRDI portal
scientific article; zbMATH DE number 6898132
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof checking and non-approximability |
scientific article; zbMATH DE number 6898132 |
Statements
Proof checking and non-approximability (English)
0 references
3 July 2018
0 references