Twelve Problems in Proof Complexity

Počet záznamů: 1

1.

SYSNO ASEP	0321832
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
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. - Berlin : Springer, 2008 / Hirsch E. ; Razborov A.A. ; Semenov A. ; Slissenko A. - ISBN 978-3-540-79708-1
Rozsah stran	s. 11-27
Poč.str.	17 s.
Akce	International Computer Science Symposium in Russia, CSR 2008/3./
Datum konání	07.06.2008-12.06.2008
Místo konání	Moskva
Země	RU - Rusko
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	DE - Německo
Klíč. slova	computational complexity ; bounded arithmetic ; propositional calculus
Vědní obor RIV	BA - Obecná matematika
CEP	IAA1019401 GA AV ČR - Akademie věd
CEZ	AV0Z10190503 - MU-W (2005-2011)
UT WOS	000256351100004
Anotace	We illustrate the state of art in proof complexity using twelve problems
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	2009

Počet záznamů: 1