Complexity and decidability of some equivalence-checking problems

Thumbnail Image

Downloads

Date issued

2005

Authors

Sawa, Zdeněk

Journal Title

Journal ISSN

Volume Title

Publisher

Vysoká škola báňská - Technická univerzita Ostrava

Location

ÚK/Sklad diplomových prací

Signature

33101/11033

Abstract

Description

Import 20/04/2006

Subject(s)

Citation

Item identifier

http://hdl.handle.net/10084/36857

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)