Un algorithme de calcul formel des séries énumératrices de langage linéaire
RAIRO. Inform. théor., 17 4 (1983) 343-364
Published online: 01 February 2017
DOI: 10.1051/ita/1983170403431