Browse by cikk, tanulmány, mű

Jump to: 1978
Number of items: 14.

1978

Andréka Hajnal and 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 and 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 and Szőts Miklós: On the incompleteness of proving partial correctness. In: Acta cybernetica, (4) 1. pp. 45-57. (1978)

Gécseg Ferenc and Steinby Magnus: Minimal ascending tree automata. In: Acta cybernetica, (4) 1. pp. 37-44. (1978)

Herman Gábor T. and 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. and 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. and 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)

This list was generated on 2024. május 22. 17:41:53 CEST.