Volume 28; Issue 2

Acta Informatica

Volume 28; Issue 2
1

Automating the Knuth Bendix ordering

Jeremy Dick, John Kalmus, Ursula Martin
Journal:
Acta Informatica
Year:
1990
Language:
english
File:
PDF, 1.12 MB
english, 1990
2

Properties of data flow frameworks

T. J. Marlowe, B. G. Ryder
Journal:
Acta Informatica
Year:
1990
Language:
english
File:
PDF, 2.46 MB
english, 1990
3

Binary search trees of almost optimal height

Arne Andersson, Christian Icking, Rolf Klein, Thomas Ottmann
Journal:
Acta Informatica
Year:
1990
Language:
english
File:
PDF, 739 KB
english, 1990
4

On characterizations of recursively enumerable languages

Michel Latteux, Paavo Turakainen
Journal:
Acta Informatica
Year:
1990
Language:
english
File:
PDF, 402 KB
english, 1990