RAIRO. Informatique théorique, Tome 15 (1981) no. 4

Sommaire

Daduna, Hans

p. 287-302

Queinnec, C.

p. 303-336

Maurer, H. A. ; Salomaa, A. ; Wood, D.

p. 337-353

An algorithm for the word problem in

H N N

Avenhaus, J. ; Madlener, K.

p. 355-371

Finiteness results on rewriting systems

Raoult, Jean-Claude

p. 373-391