Csirmaz László: Structure of program runs of non-standard time. In: Acta cybernetica, (4) 4. pp. 325-331. (1980)
Dassow Jürgen: On some extensions of indian parallel context free grammars. In: Acta cybernetica, (4) 4. pp. 303-310. (1980)
Ferenci F.: Groupoids of pseudoautomata. In: Acta cybernetica, (4) 4. pp. 389-399. (1980)
Gergely Tamás and Úry László: Nondeterministic programming within the frame of first order classical logic : part 1. In: Acta cybernetica, (4) 4. pp. 333-354. (1980)
Gergely Tamás and Úry László: Nondeterministic programming within the frame of first order classical logic : part 2. In: Acta cybernetica, (4) 4. pp. 355-375. (1980)
Kim K. H. and Roush Fred William: Enumeration of certain words. In: Acta cybernetica, (4) 4. pp. 383-387. (1980)
Lupanov Oleg Borisovič: O ventil'nyh shemah. In: Acta cybernetica, (4) 4. pp. 311-315. (1980)
Lupanov Oleg Borisovič: Ob asimptotičeskih ocenkah složnosti upravlâŝih sistem. In: Acta cybernetica, (4) 4. pp. 317-323. (1980)
Tóth K.: Completeness in non-simple and stable modal logics. In: Acta cybernetica, (4) 4. pp. 377-382. (1980)
Csirmaz László: Iterated grammars. In: Acta cybernetica, (5) 1. pp. 43-47. (1980)
Czédli Gábor: d-dependency structures in the relational model of data. In: Acta cybernetica, (5) 1. pp. 49-57. (1980)
Imreh Balázs: On isomorphic representations of commutative automata with respect to αi-products. In: Acta cybernetica, (5) 1. pp. 21-32. (1980)
Phelps R. I. and Thomas L. C.: On optimal performance in self-organizing paging algorithms. In: Acta cybernetica, (5) 1. pp. 77-85. (1980)
Tankó József: Dominant schedules of a steady job-flow pair. In: Acta cybernetica, (5) 1. pp. 87-115. (1980)
Varga L.: Synthesis of abstract algorithms. In: Acta cybernetica, (5) 1. pp. 59-76. (1980)
Virágh János: Deterministic ascending tree automata I. In: Acta cybernetica, (5) 1. pp. 33-42. (1980)
Ésik Zoltán: Decidability results concerning tree transducers I. In: Acta cybernetica, (5) 1. pp. 1-20. (1980)