RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) no. 5

Sommaire

On algebraic specifications of computable algebras with the discriminator technique

Gagliardi, G. ; Tulipani, S.

p. 429-440

On a class of infinitary codes

Nguyen Huong Lâm ; Do Long Van

p. 441-458

Elementariness of a finite set of words is co-NP-complete

Neraud, Jean

p. 459-470

On geometric automata which can nondeterministically choose auxiliary points

Huckenbeck, Ulrich

p. 471-487

Comparison of basic language generating devices (non-deterministic systems)

Kudlek, Manfred

p. 489-508