Tome 24 (1990) no. 5

Sommaire

On algebraic specifications of computable algebras with the discriminator technique
p. 429-440
On a class of infinitary codes
p. 441-458
Elementariness of a finite set of words is co-NP-complete
p. 459-470
On geometric automata which can nondeterministically choose auxiliary points
p. 471-487
Comparison of basic language generating devices (non-deterministic systems)
p. 489-508