Short Proofs May Be Spacious: Understanding Space in Resolution
Research output: Book/Report › Report › Research › peer-review
Standard
Short Proofs May Be Spacious: Understanding Space in Resolution. / Nordström, Jakob.
2008.Research output: Book/Report › Report › Research › peer-review
Harvard
Nordström, J 2008, Short Proofs May Be Spacious: Understanding Space in Resolution.
APA
Nordström, J. (2008). Short Proofs May Be Spacious: Understanding Space in Resolution.
Vancouver
Nordström J. Short Proofs May Be Spacious: Understanding Space in Resolution. 2008.
Author
Bibtex
@book{d759786ed3894b17b65d01a1dc65a9f4,
title = "Short Proofs May Be Spacious: Understanding Space in Resolution",
author = "Jakob Nordstr{\"o}m",
year = "2008",
month = may,
day = "1",
language = "English",
}
RIS
TY - RPRT
T1 - Short Proofs May Be Spacious: Understanding Space in Resolution
AU - Nordström, Jakob
PY - 2008/5/1
Y1 - 2008/5/1
M3 - Report
BT - Short Proofs May Be Spacious: Understanding Space in Resolution
ER -
ID: 251872030