Tome 25 (1991) no. 2

Sommaire

Spanning trees with low crossing number
p. 103-123
First-order properties of trees, star-free expressions, and aperiodicity
p. 125-145
A generalization of traces
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
p. 157-169
Subdivisions de surfaces et cartes généralisées de dimension 2
p. 171-202