Cutting through regular Post embedding problems

DOI10.1007/978-3-642-30642-6_22MaRDI QIDQ6828370zbMATH OpenFDO

Authors Prateek Karandikar, Philippe Schnoebelen

Publication date 10 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30642-6_22

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Recursively (computably) enumerable sets and degrees (03D25)

This page was built for publication: Cutting through regular Post embedding problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828370)