Free Access to the whole issue
RAIRO - Theoretical Informatics and Applications
Volume 25 / No 2 (1991)
Free Access
First-order properties of trees, star-free expressions, and aperiodicity p. 125
Published online: 01 February 2017
Free Access
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
Published online: 01 February 2017
Free Access
Subdivisions de surfaces et cartes généralisées de dimension 2 p. 171
Published online: 01 February 2017