Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 25 (1991)
no. 2
Précédent
Suivant
Volume 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