Header

UZH-Logo

Maintenance Infos

Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words


Neary, T (2015). Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words. In: The 32nd Symposium on Theoretical Aspects of Computer Science (STACS 2015), Munich, 4 March 2015 - 7 March 2015, 649-661.

Statistics

Citations

Downloads

7 downloads since deposited on 04 Feb 2016
6 downloads since 12 months
Detailed statistics

Additional indexing

Item Type:Conference or Workshop Item (Speech), refereed, original work
Communities & Collections:07 Faculty of Science > Institute of Neuroinformatics
Dewey Decimal Classification:570 Life sciences; biology
Language:English
Event End Date:7 March 2015
Deposited On:04 Feb 2016 10:08
Last Modified:08 Dec 2017 18:29
Publisher:Leibniz International Proceedings in Informatics (LIPIcs)
Series Name:32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015
Number of Pages:13

Download

Download PDF  'Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words'.
Preview
Content: Published Version
Language: English
Filetype: PDF
Size: 636kB
Licence: Creative Commons: Attribution 4.0 International (CC BY 4.0)