𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Narrow Proofs May Be Spacious:Separating Space and Width in Resolution

✍ Scribed by Nordström, Jakob


Book ID
118180770
Publisher
Society for Industrial and Applied Mathematics
Year
2009
Tongue
English
Weight
785 KB
Volume
39
Category
Article
ISSN
0097-5397

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES