Search results
- 1.0174349 - MU-W 960173 RIV DE eng M - Monography Chapter
Pudlák, Pavel - Sgall, Jiří
An upper bound for a communication game related to space-time tradeoffs.
Berlin: Springer, 1996. Algorithms and Combinatorics, 13. In: The Mathematics of Paul Erdös., s. 393-399
R&D Projects: GA AV ČR IAA119107
Grant - others:US-CZ Science and Technology Program 93025
Source of funding: US
Permanent Link: http://hdl.handle.net/11104/0071360 - 2.0174176 - MU-W 950127 RIV US eng M - Monography Chapter
Krause, M. - Pudlák, Pavel
On Computing boolean functions by sparse real polynomials.
IEEE, 1995. In: Proceedings IEEE FOCS., s. 682-691
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071190File Download Size Commentary Version Access Pudlak2.pdf 1 840.9 KB Publisher’s postprint require - 3.0174175 - MU-W 950126 RIV DE eng M - Monography Chapter
Pudlák, Pavel - Buss, S.R.
How to Lie without being (easily) convicted and the lengths of proofs in propositional calculas.
Berlin: Springer, 1995. Lecture Notes in Computer Science, 933. ISBN 3-540-60017-5. In: Computer Science Logic '94., s. 151-162
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071189File Download Size Commentary Version Access Pudlak3.pdf 1 212.8 KB Author’s postprint require - 4.0174168 - MU-W 950109 RIV CH eng M - Monography Chapter
Krajíček, Jan
On Frege and Extended Frege Proof Systems.
Basel: Birkhauser, 1995. In: Feasible Mathematics 2., s. 284-319
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071183 - 5.0174113 - MU-W 950124 RIV US eng M - Monography Chapter
Pudlák, Pavel
Complexity theory and genetics.
IEEE, 1994. In: Proceedings Structure in Complexity Theory., s. 383-395
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071130File Download Size Commentary Version Access Pudlak2.pdf 1 1.1 MB Publisher’s postprint require