Title of article
The equivalence problem for deterministic MSO tree transducers is decidable
Author/Authors
Joost Engelfriet، نويسنده , , Sebastian Maneth، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2006
Pages
7
From page
206
To page
212
Keywords
Automata theory , Equivalence problem , Transducer , Formal languages
Journal title
Information Processing Letters
Serial Year
2006
Journal title
Information Processing Letters
Record number
130340
Link To Document