Lila Kari, Stavros Konstantinidis, Steffen Kopecki. Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems. In Jeffrey Shallit, Alexander Okhotin, editors, Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. Volume 9118 of Lecture Notes in Computer Science, pages 141-152, Springer, 2015. [doi]
Abstract is missing.