Short Proofs May Be Spacious: Understanding Space in Resolution
Research output: Book/Report › Report › Research › peer-review
| Original language | English |
|---|
| Publication status | Published - 1 May 2008 |
|---|
ID: 251872030
Research output: Book/Report › Report › Research › peer-review
| Original language | English |
|---|
| Publication status | Published - 1 May 2008 |
|---|
ID: 251872030