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

Table of contents

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