Complexity and decidability of some equivalence-checking problems

DSpace/Manakin Repository

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

Show full item record


Title: Complexity and decidability of some equivalence-checking problems
Author: Sawa, Zdeněk
Advisor: Jančar, Petr
Date issue: 2005
Type: Disertační práce
Location: ÚK/Sklad diplomových prací
Signature: 33101/11033
URI: http://hdl.handle.net/10084/36857

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics