Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences

Wiedermann Jiří



Název
Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences
Autor
lupa Wiedermann Jiří UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Description Complexity of Formal Systems. S. 314-327. - Berlin : Springer, 2011 / Holzer M. ; Kutrib M. ; Pighizzini G.
Vyd.údaje
14 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
multitape computations * crossing sequences * nondeterministic simulation
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0199046