Traps for Jumping Multihead Counter Automata

Mathias Bull, Armin Hemmerling. Traps for Jumping Multihead Counter Automata. Elektronische Informationsverarbeitung und Kybernetik, 28(6):343-361, 1992.

Abstract

Abstract is missing.