Search filters

An exponential lower bound to the size of bounded depth Frege proofs of the Pigeonhole Principle

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description scientific article
Author/s

author: Jan Krajíček  Pavel Pudlák  Alan Robert Woods 

Publication date August 1995
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item