Počet záznamů: 1

Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences

SYSNO	0362865
Název	Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences
Tvůrce(i)	Wiedermann, Jiří (UIVT-O)_{RID, SAI, ORCID}
Zdroj.dok.	Description Complexity of Formal Systems. S. 314-327. - Berlin : Springer, 2011 / Holzer M. ; Kutrib M. ; Pighizzini G.
Konference	DCFS 2011. International Workshop on Descriptional Complexity of Formal Systems /13./, Giessen, 25.07.2011-27.07.2011
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GAP202/10/1333 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	multitape computations * crossing sequences * nondeterministic simulation
Trvalý link	http://hdl.handle.net/11104/0199046

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0362865.pdf	0	279.2 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1