Equivalence of Deterministic Nested Word to Word Transducers.

Slawomir Staworko, Grgoire Laurence, Aurlien Lemay, Joachim Niehren

Browse the full FCT paper archive.