Browse by cikk, tanulmány, mű

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: 1990
Number of items: 21.

1990

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

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

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

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

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

Dömösi, Pál and Ésik, Zoltán: Product hierarchies of automata and homomorphic simulation. 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. Acta cybernetica, (9) 3. pp. 323-332. (1990)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This list was generated on 2020. április 5. 14:31:06 CEST.