Simple programs and their decision problems. (English) Zbl 0364.68014
Automata, languages and programming, 4th Colloq., Turku 1977, Lect. Notes Comput. Sci. 52, 380-390 (1977).
MSC:
68N01 | General topics in the theory of software |