Decidability and undecidability of marked PCP
| Authors |
|
| Publication date |
1999
|
| Book title |
Proceedings of 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS'99)
|
| Event |
16th Annual Symposium on Theoretical Aspects of Computer Science (STACS'99)
|
| Pages (from-to) |
210-219
|
| Publisher |
Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Document type |
Conference contribution
|
| Note |
Volume 1563 of Lecture Notes in Computer Science
|
|
Permalink to this page
|
Back