Výsledky vyhledávání

  1. 1.
    0449858 - ÚI 2016 RIV SG eng J - Článek v odborném periodiku
    van Leeuwen, J. - Wiedermann, Jiří
    Separating the Classes of Recursively Enumerable Languages Based on Machine Size.
    International Journal of Foundations of Computer Science. Roč. 26, č. 6 (2015), s. 677-695. ISSN 0129-0541. E-ISSN 1793-6373
    Grant CEP: GA ČR GAP202/10/1333
    Grant ostatní: GA ČR(CZ) GA15-04960S
    Institucionální podpora: RVO:67985807
    Klíčová slova: recursively enumerable languages * RE hierarchy * finite languages * machine size * descriptional complexity * Turing machines with advice
    Kód oboru RIV: IN - Informatika
    Impakt faktor: 0.467, rok: 2015
    Trvalý link: http://hdl.handle.net/11104/0251272
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0449858.pdf12262.7 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    0427248 - ÚI 2018 RIV NL eng J - Článek v odborném periodiku
    van Leeuwen, J. - Wiedermann, Jiří
    Turing Machines with One-sided Advice and Acceptance of the co-RE Languages.
    Fundamenta Informaticae. Roč. 153, č. 4 (2017), s. 347-366. ISSN 0169-2968. E-ISSN 1875-8681
    Grant ostatní: GA ČR(CZ) GA15-04960S
    Institucionální podpora: RVO:67985807
    Klíčová slova: advice functions * co-RE languages * machine models * Turing machines
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impakt faktor: 0.725, rok: 2017
    Trvalý link: http://hdl.handle.net/11104/0232839
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0427248.pdf11271.2 KBVydavatelský postprintvyžádat
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.