Volume 9,
Number 1,
1989
Volume 9,
Number 2,
1989
Volume 9,
Number 3,
1990
- Reino Kurki-Suonio:
Towards languages that support program derivation, or control modularity considered harmful.
179-192 BibTeX
- Kai Koskimies:
Techniques for Modular language implementation.
193-200 BibTeX
- Jukka Paakki, Kori Toppola:
An error - recovering from of DCGs.
212-221 BibTeX
- Matti O. Jokinen:
Uniform approach to parameter transmission mechanisms, coercions, optional parameters and patterns.
223-233 BibTeX
- Pekka Kilpeläinen, Heikki Mannila:
Generation of test cases for simple prolog programs.
235-246 BibTeX
- Zoltán Alexin, József Dombi, Károly Fábricz, Tibor Gyimóthy:
A natural language interface based on attribute grammars.
247-255 BibTeX
- Ágnes Hernádi, A. Heppes, Elöd Knuth:
Data pictures on the desktop.
257-268 BibTeX
- Harri Laine:
YYY - A database design tool.
269-280 BibTeX
- Solly Wagner-Dibuz:
Frames for protocal description.
281-289 BibTeX
- M. Aspnäs, Ralph-Johan Back:
A programming environment for a transputer-based multiprocessor system.
291-301 BibTeX
- Aimo A. Törn:
PICA - A graphical program development tool.
303-321 BibTeX
- István Forgács, Attila Horváth, Endre Somos:
MICROTEST - A testing tool on PC.
323-332 BibTeX
Volume 9,
Number 4,
1990
- A. Arnold:
Recognizable sets of finite bilabelled transition systems.
333-347 BibTeX
- Virgil Emil Cazanescu, Gheorghe Stefanescu:
A note on axiomatizing flowchart schemes.
349-359 BibTeX
- János Csirik, J. B. G. Frenk, Martine Labbé, Shuzhong Zhang:
On the multidimensional vector bin packing.
361-369 BibTeX
- Pál Dömösi, Zoltán Ésik:
Product hierarchies of automata and homomorphic simulation.
371-373 BibTeX
- Zoltán Ésik:
A note on the axiomatization of iteration theories.
375-384 BibTeX
- Georg Gottlob, Leonid Libkin:
Investigation on Armstrong relations, dependency inference, and excluded functional dependencies.
385-402 BibTeX
- Craig A. Rich, Giora Slutzki:
The complexity of a counting finite-state automation.
403-417 BibTeX
- Arto Salomaa:
Decision problems arising from knapsack transformations.
419-440 BibTeX
- Bernhard Thalheim, E. Al-Fedhagi:
Preserving two-tuple dependencies under projection.
441-458 BibTeX
Copyright © Sat May 16 23:49:25 2009
by Michael Ley (ley@uni-trier.de)