0174027 - MU-W 940145 RIV GB eng J - Journal Article
Buss, S. - Krajíček, Jan
An application of Boolean Complexity to Separation Problems in Bounded Arithmetic.
Proceedings of the London Mathematical Society. 69(3), č. 1 (1994), s. 1-21. ISSN 0024-6115. E-ISSN 1460-244X
R&D Projects: GA AV ČR IAA119107
Impact factor: 0.768, year: 1994
Permanent Link: http://hdl.handle.net/11104/0071046