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	0174484
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. s. 85-90 / Růžička P. R.. - Berlin : SpringerVerlag, 1997
Konference	International Symposium Mathematical Foundations of Computer Science /22./, 00.08.1997
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA1019602 GA AV ČR - Akademie věd
Jazyk dok.	eng
Země vyd.	DD
Trvalý link	http://hdl.handle.net/11104/0071490

Počet záznamů: 1