Staiger: Decidability of code properties (0)

by H Fernau, K Reinhardt, L
Venue:RAIRO Inform. Théor. Appl