Entscheidungsprobleme für Autonome Mehrbandautomaten

Peter H. Starke. Entscheidungsprobleme für Autonome Mehrbandautomaten. Math. Log. Q., 22(1):131-140, 1976. [doi]

Abstract

Abstract is missing.