Zerotesting bounded one-way multicounter machines

Pavol Duris, Juraj Hromkovic. Zerotesting bounded one-way multicounter machines. Kybernetika, 23(1):13-18, 1987. [doi]

Abstract

Abstract is missing.