Selected ideas used for decidability and undecidability of bisimilarity

DSpace/Manakin Repository

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

Show full item record


Title: Selected ideas used for decidability and undecidability of bisimilarity
Author: Jančar, Petr
Date issue: 2008
Citation: Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : Proceedings. Lecture Notes in Computer Science. 2008, vol. 5257, p. 56-71.
URI: http://hdl.handle.net/10084/70129
ISSN: 0302-9743
1611-3349
DOI: 10.1007/978-3-540-85780-8
URI: http://dx.doi.org/10.1007/978-3-540-85780-8
Type: article
Počet citací dokumentu:

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