Undecidability results for bisimilarity on prefix rewrite systems

DSpace/Manakin Repository

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

Show full item record


Title: Undecidability results for bisimilarity on prefix rewrite systems
Author: Jančar, Petr
Srba, Jiří
Date issue: 2006
Citation: Foundations of software science and computation structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings. 2006, p. 277-291. Lecture notes in computer science, vol. 3921.
URI: http://hdl.handle.net/10084/56467
ISSN: 0302-9743
DOI: 10.1007/11690634
URI: http://dx.doi.org/10.1007/11690634_19
ISBN: 978-3-540-33045-5
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