The decidability of the equivalence problem for polynomially bounded DOL sequences
RAIRO. Inform. théor., 11 1 (1977) 17-28
Published online: 01 February 2017
DOI: 10.1051/ita/1977110100171