| Original language | Undefined/Unknown |
|---|---|
| Pages | 263 |
| Number of pages | 1 |
| Publication status | Published - 2007 |
| Event | Unknown event - Asilomar, USA Duration: 1 Jan 2009 → … |
Conference
| Conference | Unknown event |
|---|---|
| City | Asilomar, USA |
| Period | 1/01/09 → … |
Lowerbounds in Proof Complexity
J.J. Joosten
Research output: Contribution to conference › Abstract › Other research output