Short Proofs May Be Spacious: Understanding Space in Resolution

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning › fagfællebedømt