Equivalence of Deterministic Nested Word to Word Transducers

Slawomir Staworko, Grégoire Laurence, Aurélien Lemay, Joachim Niehren. Equivalence of Deterministic Nested Word to Word Transducers. In Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala, editors, Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings. Volume 5699 of Lecture Notes in Computer Science, pages 310-322, Springer, 2009. [doi]

Abstract

Abstract is missing.