Partially ordered automata and piecewise testability

Number of the records: 1

1.

SYSNO	0542403
Title	Partially ordered automata and piecewise testability
Author(s)	Masopust, Tomáš (MU-W)_{RID, ORCID, SAI} Krötzsch, M. (DE)
Source Title	Logical Methods in Computer Science. Roč. 17, č. 2 (2021). - : Logical Methods in Computer Science
Article number	14
Document Type	Článek v odborném periodiku
Grant	GC19-06175J GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	MU-W - RVO:67985840
Language	eng
Country	DE
Keywords	automata * nondeterminism * complexity
Cooperating institutions	Technische Universität Dresden (Germany)
URL	https://dx.doi.org/10.23638/LMCS-17(2:14)2021
Permanent Link	http://hdl.handle.net/11104/0319817

	File	Download	Size	Commentary	Version	Access
	Masopust1.pdf	4	866.6 KB		Publisher’s postprint	open-access

Number of the records: 1