Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
Browse issues
All
All
Author
Title
References
Full text
Search
NOT
Between
and
Author
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