Volume 13; Issue 3

Acta Informatica

Volume 13; Issue 3
1

A practical example of the specification of abstract data types

Frank W. Tompa
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 1011 KB
english, 1980
2

Remarks on “A Synthesis of Several Sorting Algorithms” by John Darlington

David R. Barstow
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 170 KB
english, 1980
3

Ordered attributed grammars

Uwe Kastens
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 1.24 MB
english, 1980
4

Context-free grammars with selective rewriting

G. Rozenberg, D. Wood
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 613 KB
english, 1980
5

Universal asynchronous iterative arrays of Mealy automata

Hans Kleine Büning, Lutz Priese
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 696 KB
english, 1980
6

Automaten in planaren Graphen

H. A. Rollik
Journal:
Acta Informatica
Year:
1980
Language:
german
File:
PDF, 541 KB
german, 1980