A theory for Log-Space and NLIN versus co-NLIN (Q4650271)
From MaRDI portal
scientific article; zbMATH DE number 2133218
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A theory for Log-Space and NLIN versus co-NLIN |
scientific article; zbMATH DE number 2133218 |
Statements
A theory for Log-Space and NLIN versus co-NLIN (English)
0 references
9 February 2005
0 references
independence results
0 references
bounded arithmetic
0 references
MRDP
0 references
