VSL 2014: VIENNA SUMMER OF LOGIC 2014

A (Biased) Survey of Space Complexity and Time-Space Trade-offs in Proof Complexity

Author: Jakob Nordström

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:A (Biased) Survey of Space Complexity and Time-Space Trade-offs in Proof Complexity
Authors:Jakob Nordström
Proceedings:PC 2014 Abstracts
Editors: Jan Johannsen and Olaf Beyersdorff
Keywords:
Abstract:
Pages:5
Talk:Jul 12 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program