%0 Journal Article
%A André, Yves
%A Dauchet, Max
%T Decidability of equivalence for a class of non-deterministic tree transducers
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1994
%P 447-463
%V 28
%N 5
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1994__28_5_447_0/
%G en
%F ITA_1994__28_5_447_0