D'ecidabilit'e de l`egalit'e des langages alg'ebriques infinitaires simples (1986)

by D Caucal
Venue:In Proceedings of STACS 86, LNCS 210