Show simple item record

Polynomial Size Proofs for the Propositional Pigeonhole Principle

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorIemhoff, R.
dc.contributor.authorEilers, R.R.
dc.date.accessioned2014-09-17T17:00:43Z
dc.date.available2014-09-17T17:00:43Z
dc.date.issued2014
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/18361
dc.description.sponsorshipUtrecht University
dc.format.extent412347
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titlePolynomial Size Proofs for the Propositional Pigeonhole Principle
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsPigeonhole Principle, Proof Size, Proof Complexity, Proof Theory
dc.subject.courseuuKunstmatige Intelligentie


Files in this item

Thumbnail
Name:
Scriptie_Renate_Eilers_3701441.pdf
Size:
402.6Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record