Entscheidungsprobleme für Autonome Mehrbandautomaten.

Peter H. Starke
Published in: Math. Log. Q. (1976)
Keyphrases