The structure of infinite solutions of marked and binary Post correspondence problems
From MaRDI portal
Publication:866910
DOI10.1007/S00224-005-1222-6zbMath1107.03048OpenAlexW1998945671MaRDI QIDQ866910
Juhani Karhumäki, Vesa Halava, Tero J.Harju
Publication date: 14 February 2007
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-005-1222-6
Combinatorics on words (68R15) Formal languages and automata (68Q45) Word problems, etc. in computability and recursion theory (03D40) Thue and Post systems, etc. (03D03)
Related Items (1)
This page was built for publication: The structure of infinite solutions of marked and binary Post correspondence problems
