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

Nordström, Jakob. / Short Proofs May Be Spacious: Understanding Space in Resolution. 2008.

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