Matches in DBpedia 2016-04 for { <http://doi.org/10.4230/lipics.stacs.2015.649> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- lipics.stacs.2015.649 author "T. Neary".
- lipics.stacs.2015.649 bookTitle "32nd International Symposium on Theoretical Aspects of Computer Science".
- lipics.stacs.2015.649 conference "STACS 2015".
- lipics.stacs.2015.649 doi "10.4230/LIPIcs.STACS.2015.649".
- lipics.stacs.2015.649 editor "Ernst W. Mayr and Nicolas Ollinger".
- lipics.stacs.2015.649 isCitedBy Post_correspondence_problem.
- lipics.stacs.2015.649 pages "649–661".
- lipics.stacs.2015.649 publisher "Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik".
- lipics.stacs.2015.649 title "Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words".
- lipics.stacs.2015.649 url 4948.
- lipics.stacs.2015.649 volume "30".
- lipics.stacs.2015.649 year "2015".