Výsledky vyhledávání
- 1.0459993 - ÚI 2017 CZ eng V - Výzkumná zpráva
Wiedermann, Jiří
Nondeterministic Computations for Which Space is More Powerful than Time.
Prague: ICS CAS, 2016. 10 s. Technical Report, V-1231.
Institucionální podpora: RVO:67985807
Klíčová slova: nondeterministic computation * crossing sequences * complexity
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0260137Název souboru Staženo Velikost Komentář Verze Přístup v1231-16.pdf 14 175.6 KB Jiná povolen - 2.0362865 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences.
Description Complexity of Formal Systems. Berlin: Springer, 2011 - (Holzer, M.; Kutrib, M.; Pighizzini, G.), s. 314-327. Lecture Notes in Computer Science, 6808. ISBN 978-3-642-22599-4. ISSN 0302-9743.
[DCFS 2011. International Workshop on Descriptional Complexity of Formal Systems /13./. Giessen (DE), 25.07.2011-27.07.2011]
Grant CEP: GA ČR GAP202/10/1333
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: multitape computations * crossing sequences * nondeterministic simulation
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0199046Název souboru Staženo Velikost Komentář Verze Přístup a0362865.pdf 0 279.2 KB Vydavatelský postprint vyžádat