RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) no. 5

Sommaire

Updating approximately complete trees

Lai, Tony W. ; Wood, Derick

p. 431-446

Decidability of equivalence for a class of non-deterministic tree transducers

André, Yves ; Dauchet, Max

p. 447-463

A hierarchy that does not collapse : alternations in low level space

Geffert, Viliam

p. 465-512