Optimal Proof Sysytems and Sparse Sets

Authors
Publication date 2000
Journal Lecture Notes in Computer Science
Pages (from-to) 407-418
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Note Proceedings title: Proceedings of the Symposium on Theoretical Aspects of Computer Science
Permalink to this page
Back