Twelve Problems in Proof Complexity

Počet záznamů: 1

1.

SYSNO	0321832
Název	Twelve Problems in Proof Complexity
Překlad názvu	Dvanáct problémů v důkazové složitosti
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	Computer Science - Theory and Applications. S. 11-27. - Berlin : Springer, 2008 / Hirsch E. ; Razborov A.A. ; Semenov A. ; Slissenko A.
Konference	International Computer Science Symposium in Russia, CSR 2008/3./, Moskva, 07.06.2008-12.06.2008
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA1019401 GA AV ČR - Akademie věd
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	computational complexity * bounded arithmetic * propositional calculus
Trvalý link	http://hdl.handle.net/11104/0170258

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak2.pdf	1	449.5 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1