Acta cybernetica

9

Alexin Zoltán: CONSTRUCTOR : a natural language interface based on attribute grammar. In: Acta cybernetica, (9) 3. pp. 247-255. (1990)

Arnold André: Recognizable sets of finite bilabelled transition systems. In: Acta cybernetica, (9) 4. pp. 333-347. (1990)

Aspnäs Mats and Back Ralph-Johan: A programming environment for a transputer-based multiprocessor system. In: Acta cybernetica, (9) 3. pp. 291-301. (1990)

Csirik János: On the multidimensional vector bin packing. In: Acta cybernetica, (9) 4. pp. 361-369. (1990)

Căzănescu Virgil Emil and Ştefănescu Gheorghe: A note on axiomatizing flowchart schemes. In: Acta cybernetica, (9) 4. pp. 349-359. (1990)

Dömösi Pál and Ésik Zoltán: Product hierarchies of automata and homomorphic simulation. In: Acta cybernetica, (9) 4. pp. 371-373. (1990)

Forgács István and Horváth Attila and Somos Endre: MICROTEST : a testing tool on PC. In: Acta cybernetica, (9) 3. pp. 323-332. (1990)

Gottlob Georg and Libkin Leonid O.: Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. In: Acta cybernetica, (9) 4. pp. 385-402. (1990)

Hernádi Ágnes and Heppes Aladár and Knuth Előd: Data pictures on the desktop. In: Acta cybernetica, (9) 3. pp. 257-268. (1990)

Jokinen Matti: Uniform approach to parameter transmission mechanisms, coercions, optional parameters and patterns. In: Acta cybernetica, (9) 3. pp. 223-233. (1990)

Kilpeläinen Pekka and Mannila Heikki: Generation of test cases for simple Prolog programs. In: Acta cybernetica, (9) 3. pp. 235-246. (1990)

Koskimies Kai: Techniques for modular language implementation. In: Acta cybernetica, (9) 3. pp. 193-209. (1990)

Kurki-Suonio Reino: Towards languages that support program derivation : or control modularity considered harmful. In: Acta cybernetica, (9) 3. pp. 179-192. (1990)

Laine Harri: YYY : a database design tool. In: Acta cybernetica, (9) 3. pp. 269-280. (1990)

Paakki Jukka and Toppola Kari: An error-recovering form of DCGs. In: Acta cybernetica, (9) 3. pp. 211-221. (1990)

Rich Craig A. and Slutzki Giora: The complexity of a counting finite state automaton. In: Acta cybernetica, (9) 4. pp. 403-417. (1990)

Salomaa Arto: Decision problems arising from knapsack transformations. In: Acta cybernetica, (9) 4. pp. 419-440. (1990)

Thalheim Bernhard and Al-Fedaghi Sabah S.: Preserving two-tuple dependencies under projection. In: Acta cybernetica, (9) 4. pp. 441-458. (1990)

Törn Aimo A.: PICA : a graphical program development tool. In: Acta cybernetica, (9) 3. pp. 303-321. (1990)

Wagner-Dibuz Sally: Frames for protocol description. In: Acta cybernetica, (9) 3. pp. 281-289. (1990)

Ésik Zoltán: A note on the axiomatization of iteration theories. In: Acta cybernetica, (9) 4. pp. 375-384. (1990)