Basket

    1.
    0174806 - MU-W 990013 RIV US eng C - Conference Paper (international conference)
    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]
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0071805
    FileDownloadSizeCommentaryVersionAccess
    Krajicek.pdf11.1 MBPublisher’s postprintrequire
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all