Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus

Počet záznamů: 1

1.

SYSNO ASEP	0174484
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
Název	Lower bounds for a proof system with an exponential speed-up over constant-depth Frege systems and over polynomial calculus
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Zdroj.dok.	Mathematical Foundations of Computer Science / Růžička P. R.. - Berlin : SpringerVerlag, 1997
Rozsah stran	s. 85-90
Akce	International Symposium Mathematical Foundations of Computer Science /22./
Datum konání	00.08.1997
Země	SK - Slovensko
Jazyk dok.	eng - angličtina
Země vyd.	DD - DD
CEP	IAA1019602 GA AV ČR - Akademie věd
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	1998

Počet záznamů: 1