Výsledky vyhledávání

  1. 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/0122530
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0402118.pdf51.7 MBAutorský postprintpovolen
     
  2. 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