RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 20 (1986) no. 2

Table of contents

Trace languages defined by regular string languages

Aalbersberg, Ijsbrand Jan; Welzl, Emo

p. 103-119

Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif

Métivier, Yves

p. 121-127

Graph congruences and pair testing

Brzozowski, J. A.; Knast, Robert

p. 129-147

La fonction d'Ackermann : un nouveau mode de dérécursivation

Arsac, Jacques

p. 149-156

Complément à l'étude des suites de Thue-Morse généralisées

Séébold, Patrice

p. 157-181

A simple proof of Valiant's lemma

Walter, Hermann K.-G.

p. 183-190

How much semigroup structure is needed to encode graphs ?

Goralčík, P.; Goralčíková, A.; Koubek, V.

p. 191-206