Home
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
Browse issues
  • All
  • Author
  • Title
  • References
  • Full text
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • RAIRO. Theoretical Informatics and Applications
  • Volume 25 (1991)
  • no. 2

Volume 25 (1991) no. 2

Table of contents


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
  • Accessibility: not compliant
  • About
  • Help
  • Legal notice
  • Contact

Published by

Supported by

 

Partner of