Skip to main content Skip to main navigation menu Skip to site footer
Acta Cybernetica
  • Accepted Papers
  • Current
  • Archives
  • Announcements
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Contact
Search
  • Register
  • Login
  1. Home /
  2. Archives /
  3. Vol 4 No 1 (1978)

Published: 1978-01-01

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)
Open Journal Systems
Information
  • For Readers
  • For Authors
  • For Librarians
Make a Submission
Most read in last month
  • Domain Semirings United
    43
  • The Generalized Epsilon Function: An Alternative to the Exponential Function
    43
  • The Inverse Epsilon Distribution as an Alternative to Inverse Exponential Distribution with a Survival Times Data Example
    39
  • Prosper : developing web applications strongly integrated with Prolog
    37
  • Strongly Possible Functional Dependencies for SQL
    37
Current Issue
  • Atom logo
  • RSS2 logo
  • RSS1 logo
Publisher    
University of Szeged, Institute of Informatics
Publisher's headquarters    
Árpád square 2, H-6720 Szeged, Hungary
Responsible Publisher    
László Nyúl
Editor-in-chief    
Tibor Csendes
Managing editor    
Boglárka G.-Tóth
ISSN    
0324-721X (Print)
ISSN    
2676-993X (Online)
 
 
About this Publishing System