Výsledky vyhledávání
- 1.0174349 - MU-W 960173 RIV DE eng M - Část monografie knihy
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
Grant CEP: GA AV ČR IAA119107
Grant ostatní: US-CZ Science and Technology Program 93025
Zdroj financování: US
Trvalý link: http://hdl.handle.net/11104/0071360 - 2.0174176 - MU-W 950127 RIV US eng M - Část monografie knihy
Krause, M. - Pudlák, Pavel
On Computing boolean functions by sparse real polynomials.
IEEE, 1995. In: Proceedings IEEE FOCS., s. 682-691
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071190Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 1 840.9 KB Vydavatelský postprint vyžádat - 3.0174175 - MU-W 950126 RIV DE eng M - Část monografie knihy
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
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071189Název souboru Staženo Velikost Komentář Verze Přístup Pudlak3.pdf 1 212.8 KB Autorský postprint vyžádat - 4.0174168 - MU-W 950109 RIV CH eng M - Část monografie knihy
Krajíček, Jan
On Frege and Extended Frege Proof Systems.
Basel: Birkhauser, 1995. In: Feasible Mathematics 2., s. 284-319
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071183 - 5.0174113 - MU-W 950124 RIV US eng M - Část monografie knihy
Pudlák, Pavel
Complexity theory and genetics.
IEEE, 1994. In: Proceedings Structure in Complexity Theory., s. 383-395
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071130Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 1 1.1 MB Vydavatelský postprint vyžádat