Generation and verification of formal proofs of propositional tautologies

Bennet Gerlach

Original languageEnglish
QualificationMaster of Science
Awarding Institution
Supervisors/Advisors
  • Tantau, Till, Supervisor
  • Möller, Ralf, Supervisor
Publication statusPublished - 2016
Externally publishedYes

Cite this