Décidabilité par automate fini (1983)

by B R Hodgson
Venue:Ann. Sci. Math. Québec