%0 Journal Article
%A Zakharov, Vladimir A.
%T On the decidability of the equivalence problem for monadic recursive programs
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2000
%P 157-171
%V 34
%N 2
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_2000__34_2_157_0/
%G en
%F ITA_2000__34_2_157_0