VSL 2014: VIENNA SUMMER OF LOGIC 2014

On Some Conjectures in Proof Complexity

Author: Pavel Pudlák

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:On Some Conjectures in Proof Complexity
Authors:Pavel Pudlák
Proceedings:PC 2014 Abstracts
Editors: Jan Johannsen and Olaf Beyersdorff
Keywords:
Abstract:
Pages:1
Talk:Jul 12 11:00
Paper:
Disclaimer | Powered by EasyChair Smart Program