@inproceedings{10.1007/3-540-48523-6_63,
    Abstract = {The equivalence problem for deterministic pushdown transducers with inputs in a free monoid X* and outputs in a linear group H = GLn(⌽), is shown to be decidable.},
    Address = {Berlin, Heidelberg},
    Author = {S{\'e}nizergues, G{\'e}raud},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Wiedermann, Ji{\v{r}}{\'\i} and van Emde Boas, Peter and Nielsen, Mogens},
    File = {Sénizergues1999\_Chapter\_TATB (0) - a - a - s.pdf},
    ISBN = {978-3-540-48523-0},
    Pages = {665--675},
    Publisher = {Springer Berlin Heidelberg},
    Title = {T(A) = T(B)?},
    Year = {1999},
    date-added = {2018-10-04 15:24:08 +0000},
    date-modified = {2018-10-04 15:24:08 +0000},
    doi = {10.1007/3-540-48523-6_63}
}

@inproceedings{10.1007/3-540-48523-6_63, Abstract = {The equivalence problem for deterministic pushdown transducers with inputs in a free monoid X* and outputs in a linear group H = GLn(⌽), is shown to be decidable.}, Address = {Berlin, Heidelberg}, Author = {S{\'e}nizergues, G{\'e}raud}, BookTitle = {Automata, Languages and Programming}, Editor = {Wiedermann, Ji{\v{r}}{\'\i} and van Emde Boas, Peter and Nielsen, Mogens}, File = {Sénizergues1999_Chapter_TATB (0) - a - a - s.pdf}, ISBN = {978-3-540-48523-0}, Pages = {665--675}, Publisher = {Springer Berlin Heidelberg}, Title = {T(A) = T(B)?}, Year = {1999}, date-added = {2018-10-04 15:24:08 +0000}, date-modified = {2018-10-04 15:24:08 +0000}, doi = {10.1007/3-540-48523-6_63} }