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

Table of contents

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