 |
 | Vissza |
Andréka Hajnal; Németi István: The generalised completeness of Horn predicate-logic as a programming language. In: Acta cybernetica, (4) 1. pp. 3-10. (1978)
Arbib Michael Anthony; Manes Ernest Gene: Tree transformations and the semantics of loop-free programs. In: Acta cybernetica, (4) 1. pp. 11-17. (1978)
Ershov Andrei P.: Mixed computation in the class of recursive program schemata. In: Acta cybernetica, (4) 1. pp. 19-23. (1978)
Gavrilov M. A.: Certain operations with the sets of discrete states. In: Acta cybernetica, (4) 1. pp. 25-35. (1978)
Gergely Tamás; Szőts Miklós: On the incompleteness of proving partial correctness. In: Acta cybernetica, (4) 1. pp. 45-57. (1978)
Gécseg Ferenc; Steinby Magnus: Minimal ascending tree automata. In: Acta cybernetica, (4) 1. pp. 37-44. (1978)
Herman Gábor T.; Liu H. K.: A simple shading for computer displayed surfaces. In: Acta cybernetica, (4) 1. pp. 59-64. (1978)
Hotz Günter: Normal-form transformations of context-free grammars. In: Acta cybernetica, (4) 1. pp. 65-84. (1978)
Iványi Antal M.; Kátai Imre: Processing of random sequences with priority. In: Acta cybernetica, (4) 1. pp. 85-101. (1978)
Jürgensen Helmut: Über das Rechnen mit den Elementen abstrakt präsentierter Halbgruppen. In: Acta cybernetica, (4) 1. pp. 103-115. (1978)
Kämmerer Wilhelm: Zur Synthese von DOL-Systemen. In: Acta cybernetica, (4) 1. pp. 117-121. (1978)
Pour-El Marian B.; Richards Ian: Differentiability properties of computable functions : a summary. In: Acta cybernetica, (4) 1. pp. 123-125. (1978)
Salomaa Arto: Equality sets for homomorphisms of free monoids. In: Acta cybernetica, (4) 1. pp. 127-139. (1978)
Schütte Kurt: Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität. In: Acta cybernetica, (4) 1. pp. 141-148. (1978)
