Regular articles

• The generalised completeness of Horn predicate-logic as a programming language

  Hajnal Andréka, István Németi

  3-10

  • PDF
• Tree transformations and the semantics of loop-free programs

  Michael Anthony Arbib, Ernest Gene Manes

  11-17

  • PDF
• Mixed computation in the class of recursive program schemata

  Andrei P. Ershov

  19-23

  • PDF
• Certain operations with the sets of discrete states

  M. A. Gavrilov

  25-35

  • PDF
• Minimal ascending tree automata

  Ferenc Gécseg, Magnus Steinby

  37-44

  • PDF
• On the incompleteness of proving partial correctness

  Tamás Gergely, Miklós Szőts

  45-57

  • PDF
• A simple shading for computer displayed surfaces

  Gabor T. Herman, H. K. Liu

  59-64

  • PDF
• Normal-form transformations of context-free grammars

  Günter Hotz

  65-84

  • PDF
• Processing of random sequences with priority

  Antal M. Iványi, Imre Kátai

  85-101

  • PDF
• Über das Rechnen mit den Elementen abstrakt präsentierter Halbgruppen

  Helmut Jürgensen

  103-115

  • PDF (Deutsch)
• Zur Synthese von DOL-Systemen

  Wilhelm Kämmerer

  117-121

  • PDF (Deutsch)
• Differentiability properties of computable functions : a summary

  Marian B. Pour-El, Ian Richards

  123-125

  • PDF
• Equality sets for homomorphisms of free monoids

  Arto Salomaa

  127-139

  • PDF
• Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität

  Kurt Schütte

  141-148

  • PDF (Deutsch)