A decision method for the recognizability of sets defined by number systems (1986)

by J Honkala
Venue:RAIRO Inform. Théor. App