Výsledky vyhledávání
- 1.0174670 - MU-W 990002 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Boneh, D. - Dunworth, CH. - Lipton, R.J. - Sgall, Jiří
Making DNA computers error resistant.
DNA Based Computers II. Princeton: American Mathematical Society, 1998, s. 163-170. DIMACS, Discrete Mathematical Theoretical Computer Science, 44.
[DNA Based Computers II. Princeton (US), 10.06.1996-12.06.1996]
Grant CEP: GA AV ČR IAA119107
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071673 - 2.0174363 - MU-W 970053 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan
Valuations of Boolean formulae in partial algebras.
10th International Congress Logic, Methodology and Philosophy of Science. Florence, 1995, s. 6-7.
[International Union of History and Philosophy of Science. Florence (IT), 19.08.1995-25.08.1995]
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071373 - 3.0174309 - MU-W 960120 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Damm, C. - Jukna, S. - Sgall, Jiří
Some Bounds for Multiparty Communication Complexity of Pointer Jumping.
Annual Symposium on Theoretical Aspects of Computer Science. Berlin: Springer, 1996, s. 643-654. Lecture Notes in Computer Science, 1046.
[Annual Symposium on Theoretical Aspects of Computer Science /13./. Grenoble (FR), 21.02.1996-25.02.1996]
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071320 - 4.0174272 - MU-W 960064 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Bartal, Y. - Leonardi, S. - Marchetti-Spaccamela, A. - Sgall, Jiří - Stougie, L.
Multiprocessor scheduling with rejection.
Proceedings of the 7th Annual ACM-SIAM Symposium on Discrete Algorithms. New York: ACM, 1996, s. 95-103.
[Annual ACM-SIAM Symposium on Discrete Algorithm /7./. Atlanta (US), 28.01.1996-30.01.1996]
Grant CEP: GA AV ČR IAA119107; GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071283 - 5.0174069 - MU-W 950107 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Clote, P.
Open Problems.
Arithmetic, Proof Theory and Computational Complexity. Oxford: Oxford Press, 1993 - (Clote, P.; Krajíček, J.), s. 1-19
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071086 - 6.0174001 - MU-W 940118 RIV HU eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel
AC.SUP. 0 circuit complexity.
Proc. FCT. FCT, 1993, s. 106-120.
[Fundamentals of Computation Theory. Szeged (HU), 23.08.1993-27.08.1993]
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071020 - 7.0174000 - MU-W 940115 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Hastad, J. - Jukna, S. - Pudlák, Pavel
Top-down lower bounds for depth 3 circuits.
Proceeding of IEEE FOCS. IEEE, 1993, s. 124-129.
[FOCS. Palo Alto (US), 03.11.1993-05.11.1993]
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071019Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 490.8 KB Vydavatelský postprint vyžádat - 8.0173998 - MU-W 940112 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Baaz, M. - Pudlák, Pavel
Kreisel's conjecture for L.SUB.1.
Arithmetic Proof Theory and Computational Complexity. Oxford: Oxford University Press, 1993 - (Clote, P.; Krajíček, J.), s. 30-49
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071017 - 9.0173987 - MU-W 940057 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Buss, S. - Takeuti, G.
Provably Total Functions in Bounded Arithmetic Theories R .SUP.i .SUB.3 U.SUP.i .SUB.2 V.SUP.i .SUB.2.
Arithmetic, Proof Theory and Computational Complexity. Oxford: Oxford Press, 1993 - (Clote, P.; Krajíček, J.), s. 116-161
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071007Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 277 KB Autorský postprint povolen