\input zb-basic
\input zb-ioport
\iteman{io-port 06080100}
\itemau{Karandikar, Prateek; Schnoebelen, Philippe}
\itemti{Cutting through regular post embedding problems.}
\itemso{Hirsch, Edward A. (ed.) et al., Computer science -- theory and applications. 7th international computer science symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3--7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30641-9/pbk). Lecture Notes in Computer Science 7353, 229-240 (2012).}
\itemab
Summary: The Regular Post Embedding Problem extended with partial (co)directness is shown decidable. This extends to universal and/or counting versions. It is also shown that combining directness and codirectness in Post Embedding problems leads to undecidability.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-30642-6\_22}
\end