Short Proofs May Be Spacious : Understanding Space in Resolution

Jakob Nordström. Short Proofs May Be Spacious : Understanding Space in Resolution. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 2008. [doi]

Abstract

Abstract is missing.