Undecidability of bisimilarity by defender's forcing

DSpace/Manakin Repository

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

Show full item record


Title: Undecidability of bisimilarity by defender's forcing
Author: Jančar, Petr
Srba, Jiří
Date issue: 2008
Citation: Journal of the ACM. 2008, vol. 55, issue 1, art. no. 5.
URI: http://hdl.handle.net/10084/64971
ISSN: 0004-5411
DOI: 10.1145/1326554.1326559
URI: http://doi.acm.org/10.1145/1326554.1326559
Type: article
Access rights: Fulltext Request
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