RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 2

Sommaire

Spanning trees with low crossing number

Matoušek, Jiří

p. 103-123

First-order properties of trees, star-free expressions, and aperiodicity

Heuter, Uschi

p. 125-145

A generalization of traces

Vogler, Walter

p. 147-156

Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm

Rouyer, Jocelyne

p. 157-169

Subdivisions de surfaces et cartes généralisées de dimension 2

Lienhardt, Pascal

p. 171-202