Behavioural equivalences on finite-state systems are PTIME-hard

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/56836

Title:	Behavioural equivalences on finite-state systems are PTIME-hard
Author:	Sawa, Zdeněk Jančar, Petr
Date issue:	2005
Citation:	Computing and informatics. 2005, vol. 24, no. 5, p. 513-528.
URI:	http://hdl.handle.net/10084/56836
ISSN:	1335-9150
Type:	Article
Počet citací dokumentu:

Files	Size	Format	View
There are no files associated with this item.

Publikační činnost VŠB-TUO / Publications of VŠB-TUO [1643]
Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků VŠB-TUO v časopisech (a v Lecture Notes in Computer Science) registrovaných ve Web of Science od roku 1990 po současnost.
Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) [110]
Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků Katedry informatiky (460) v časopisech a v Lecture Notes in Computer Science registrovaných ve Web of Science od roku 2003 po současnost.