DOI10.1016/j.ipl.2018.02.005zbMath1476.68123OpenAlexW2790812689MaRDI QIDQ1707978
Sándor Vágvölgyi
Publication date: 4 April 2018 Published in: Information Processing Letters (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.ipl.2018.02.005
zbMATH Keywords
theory of computationterm rewriting systemsPost correspondence problem
Mathematics Subject Classification ID
Grammars and rewriting systems (68Q42)
Cites Work