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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité