Počet záznamů: 1
Lower bounds on Hilbert's nullstellensatz and propositional proofs
- 1.0174806 - MU-W 990013 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Pudlák, Pavel - Beame, P. - Impagliazzo, R. - Pitassi, T.
Lower bounds on Hilbert's nullstellensatz and propositional proofs.
Annual Symposium on Foundation of Computer Science. Santa Fe: IEEE Computer Scientific Press, 1994, s. 794-806.
[Annual Symposium on Foundation of Computer Science. Santa Fe (US), 20.11.1994-22.11.1994]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071805
Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 1.1 MB Vydavatelský postprint vyžádat
Počet záznamů: 1