Studies in Algebraic and Propositional Proof Complexity

Iddo Tzameret

Research output: ThesisDoctoral Thesis

Original languageEnglish
QualificationPh.D.
Awarding Institution
  • Tel Aviv University
Supervisors/Advisors
  • Raz, Ran, Supervisor, External person
  • Dershowitz, Nachum, Supervisor, External person
Place of PublicationTel Aviv
Publication statusPublished - 2008

Cite this