A proof complexity generator

Number of the records: 1

1.

SYSNO	0353760
Title	A proof complexity generator
Author(s)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Source Title	Logic, Methodology and Philosophy of Science. S. 185-190. - London : College Publications, 2009 / Glymour C. ; Wang W. ; Westerstahl D.
Conference	International Congress in Logic, Methodology and Philosophy of Science /13./, Beijing, 09.08.2007-15.08.2007
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	IAA1019401 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	LC505 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
Language	eng
Country	GB
Keywords	proof complexity * hard tatologies
Permanent Link	http://hdl.handle.net/11104/0192913

	File	Download	Size	Commentary	Version	Access
	Krajicek1.pdf	1	98.2 KB		Author’s postprint	open-access

Number of the records: 1