Výsledky vyhledávání
- 1.0402118 - UIVT-O 940173 CZ eng V - Výzkumná zpráva
Pudlák, Pavel - Žák, Stanislav
Space Complexity of Computations.
Prague: ICS AS CR, 1994. 30 s. Technical Report, V-593.
Trvalý link: http://hdl.handle.net/11104/0122530Název souboru Staženo Velikost Komentář Verze Přístup a0402118.pdf 5 1.7 MB Autorský postprint povolen - 2.0174477 - MU-W 970118 DE eng V - Výzkumná zpráva
Impagliazzo, R. - Pudlák, Pavel - Sgall, Jiří
Lower bounds for the polynomial calculus and the groebner basis algorithm.
Trier: Electronic Colloquium on Computational Complexity, 1997. 12 s.
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071483