RAIRO. Informatique théorique, Tome 18 (1984) no. 1

Sommaire

Data types as algorithms

Nait Abdallah, M. A.

p. 3-22

Hiérarchies de concaténation

Pin, Jean-Eric

p. 23-46

On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids

Avenhaus, Jürgen ; Book, Ronald V. ; Squier, Craig C.

p. 47-52

Systolic tree acceptors

Culik, Karel Ii ; Salomaa, Arto ; Wood, Derick

p. 53-69

A fast method of deadlock avoidance

Bak, Piotr

p. 71-80