Browse by cikk, tanulmány, mű

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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. Acta cybernetica, (4) 1. pp. 3-10. (1978)

Arbib, Michael Anthony and Manes, Ernest Gene: Tree transformations and the semantics of loop-free programs. Acta cybernetica, (4) 1. pp. 11-17. (1978)

Ershov, Andrei P.: Mixed computation in the class of recursive program schemata. Acta cybernetica, (4) 1. pp. 19-23. (1978)

Gavrilov, M. A.: Certain operations with the sets of discrete states. Acta cybernetica, (4) 1. pp. 25-35. (1978)

Gergely, Tamás and Szőts, Miklós: On the incompleteness of proving partial correctness. Acta cybernetica, (4) 1. pp. 45-57. (1978)

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

Herman, Gabor T. and Liu, H. K.: A simple shading for computer displayed surfaces. Acta cybernetica, (4) 1. pp. 59-64. (1978)

Hotz, Günter: Normal-form transformations of context-free grammars. Acta cybernetica, (4) 1. pp. 65-84. (1978)

Iványi, Antal M. and Kátai, Imre: Processing of random sequences with priority. Acta cybernetica, (4) 1. pp. 85-101. (1978)

Jürgensen, Helmut: Über das Rechnen mit den Elementen abstrakt präsentierter Halbgruppen. Acta cybernetica, (4) 1. pp. 103-115. (1978)

Kämmerer, Wilhelm: Zur Synthese von DOL-Systemen. Acta cybernetica, (4) 1. pp. 117-121. (1978)

Pour-El, Marian B. and Richards, Ian: Differentiability properties of computable functions : a summary. Acta cybernetica, (4) 1. pp. 123-125. (1978)

Salomaa, Arto: Equality sets for homomorphisms of free monoids. 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. Acta cybernetica, (4) 1. pp. 141-148. (1978)

This list was generated on 2020. február 18. 15:51:44 CET.