Vol. 6 No. 1 (1983)

Regular articles

• On the verification of abstract data types

  L. Varga

  7-12

  • PDF

• O složnosti realizacii bulevyh funkcij s dannym vektorom aktivnostej

  A. V. Petrosân, V. A. Vardanân

  79-84

  • PDF (Русский)

• Epis of some categories of Z-continuous partial algebras

  Ana Pasztor

  111-123

  • PDF

• On the real-time recognition of formal languages in cellular automata

  J. Pecht

  33-53

  • PDF

• Probability model for non-homogeneous multiprogramming computer system

  János Sztrik

  93-101

  • PDF

• Data structures and storage structures in scientific data base for multistage experiment

  L. Borzemski

  13-21

  • PDF

• On homomorphically αi-complete systems of automata

  Pál Dömösi

  85-88

  • PDF

• O razrabotke instrumental'nyh sistem, orientirovannyh na rešenie informacionno-logičeskih zadač

  R. G. Buharaev, A. I. Enikeev, I. I. Makarov

  1-5

  • PDF (Русский)

• Locally synchronous cellular automata

  Ipke Wachsmuth

  55-78

  • PDF

• Das Prinzip der maximalen Entropie und seine Anwendung in der Codierungs- und Suchtheorie

  Thomas Fischer

  103-110

  • PDF (Deutsch)

• The early bird problem is unsolvable in a one-dimensional cellular space with 4 states

  Hans Kleine Büning

  23-31

  • PDF

• Odna zadača ob orientirovannyh grafah

  Aleksandr Vasil'evič Kostočka

  89-91

  • PDF (Русский)