Babcsányi István and Nagy Attila: Mealy-automata in which the output-equivalence is a congruence. In: Acta cybernetica, (11) 3. pp. 121-126. (1994)
Demetrovics János and Thi Vu Duc: Normal forms and minimal keys in the relational datamodel. In: Acta cybernetica, (11) 3. pp. 205-215. (1994)
Devolder Jeanne and Latteux M. and Litovsky Igor and Staiger Ludwig: Codes and infinite words. In: Acta cybernetica, (11) 4. pp. 241-256. (1994)
Fassbender Heinz and Vogler Heiko: A universal unification algorithm based on unification-driven leftmost outermost narrowing. In: Acta cybernetica, (11) 3. pp. 139-167. (1994)
Fong Yuen and Huang Feng-Kuo and Wiegandt Richard: Radical theory for group semiautomata. In: Acta cybernetica, (11) 3. pp. 169-188. (1994)
Imreh Balázs and Ito Masami: A note on regular strongly shuffle-closed languages. In: Acta cybernetica, (11) 4. pp. 257-260. (1994)
Katonáné Horváth Eszter: Invariance groups of threshold functions. In: Acta cybernetica, (11) 4. pp. 325-332. (1994)
Kühnemann Armin and Vogler Heiko: A pumping lemma for output languages of attributed tree transducers. In: Acta cybernetica, (11) 4. pp. 261-305. (1994)
Meduna Alexander and Gopalaratnam A.: On semi-conditional grammars with productions having either forbidding or permitting conditions. In: Acta cybernetica, (11) 4. pp. 307-323. (1994)
Mitrana Victor and Păun Gheorghe and Rozenberg Grzegorz: Structuring grammar systems by priorities and hierarchies. In: Acta cybernetica, (11) 3. pp. 189-204. (1994)
Nguyen Huong Lam and Van Do Long: Measure of infinitary codes. In: Acta cybernetica, (11) 3. pp. 127-137. (1994)
Pferschy Ulrich and Woeginger Gerhard J. and Yao En-Yu: Partitioning graphs into two trees. In: Acta cybernetica, (11) 3. pp. 233-240. (1994)
Thanh Le Thi: On strong-generalized positive Boolean dependencies. In: Acta cybernetica, (11) 3. pp. 217-231. (1994)
Thi Vu Duc and Thanh Le Thi: Some remarks on functional dependencies in relational datamodels. In: Acta cybernetica, (11) 4. pp. 345-352. (1994)
Vardanân V. A.: On the complexity of dynamic tests for logic functions. In: Acta cybernetica, (11) 4. pp. 333-343. (1994)