Complexity and decidability of some equivalence-checking problems

dc.contributor.advisor	Jančar, Petr	en
dc.contributor.author	Sawa, Zdeněk	en
dc.date.accessioned	2006-04-20
dc.date.available	2006-04-20
dc.date.issued	2005	en
dc.identifier	200511033 DD	en
dc.identifier.other	OSD002
dc.identifier.uri	http://hdl.handle.net/10084/36857
dc.description	Import 20/04/2006
dc.format	102 s. : il.	en
dc.language.iso	en	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.title	Complexity and decidability of some equivalence-checking problems	en
dc.type	Disertační práce	en
dc.identifier.signature	33101/11033	en
dc.identifier.location	ÚK/Sklad diplomových prací	en
dc.date.accepted	2005	en
dc.description.category	Prezenční výpůjčka	en
dc.description.department	VŠB - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky.	cs

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.