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

0174630 - MU-W 980025 RIV CH eng J - Článek v odborném periodiku
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
Trvalý link: http://hdl.handle.net/11104/0071633