RAIRO. Informatique théorique, Tome 16 (1982) no. 2

Sommaire

In memoriam

Cori, Robert

p. 91-92

Langages algébriques et systèmes de réécriture rationnels

Chottin, Laurent

p. 93-112

Une preuve combinatoire de la rationalité d'une série génératrice associée aux arbres

Chottin, Laurent ; Cori, Robert

p. 113-128

Indécidabilité de la condition IRS

Autebert, Jean-Michel ; Beauquier, Joffroy ; Boasson, Luc ; Latteux, Michel

p. 129-138

Séries algébriques solutions d'équations linéaires avec opérateurs

Dulucq, Serge

p. 139-163

Topologies sur des espaces ordonnés

Betrema, J.

p. 165-182