- Tamás Gergely, Miklós Szöts:
On the incompleteness of proving partial correctness. Acta Cybern. 4(1): 45-57 (1978) - Gabor T. Herman, Hsun K. Liu:
A simple shading for computer displayed surfaces. Acta Cybern. 4(1): 59-64 (1978) - Günter Hotz:
Normal-form transformations of context-free grammars. Acta Cybern. 4(1): 65-84 (1978) - Antal Iványi, Imre Kátai:
Processing of random sequences with priority. Acta Cybern. 4(1): 85-101 (1978) - Helmut Jürgensen:
Über das Rechnen mit den Elementen abstrakt präsentierter Halbgruppen. Acta Cybern. 4(1): 103-115 (1978) - Wilhelm Kämmerer:
Zur Synthese von DOL-Systemen. Acta Cybern. 4(1): 117-121 (1978) - Marian Boykan Pour-El, I. Richards:
Differentiability properties of computable functions - a summary. Acta Cybern. 4(1): 123-125 (1978) - Arto Salomaa:
Equality sets for homomorphisms of free monoids. Acta Cybern. 4(1): 127-139 (1978) - K. Schütte:
Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität. Acta Cybern. 4(1): 141-148 (1978)