Number of the records: 1
Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
- 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
File Download Size Commentary Version Access Pudlak.pdf 1 389.3 KB Author’s postprint open-access
Number of the records: 1