Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi. First-order Definable String Transformations. In Venkatesh Raman, S. P. Suresh, editors, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India. Volume 29 of LIPIcs, pages 147-159, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.