Number of the records: 1  

Proof complexity in algebraic systems and bounded depth Frege systems with modular counting

  1. 1.
    0174630 - MU-W 980025 RIV CH eng J - Journal Article
    Buss, S. - Impagliazzo, R. - Krajíček, Jan - Pudlák, Pavel - Razborov, A. A. - Sgall, Jiří
    Proof complexity in algebraic systems and bounded depth Frege systems with modular counting.
    Computational Complexity. Roč. 6, č. 3 (1997), s. 256-298. ISSN 1016-3328. E-ISSN 1420-8954
    Permanent Link: http://hdl.handle.net/11104/0071633

     
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf1389.3 KBAuthor’s postprintopen-access
     

Number of the records: 1  

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