| |
|
|
|
| * 25 Septembre 95 |
André Arnold |
| |
µ-calcul booléen, automates, graphes et jeux sur les graphes |
|
|
| * 9 Octobre 95 |
Christophe Reutenauer |
| |
Variétés et fonctions rationnelles |
|
|
| * 16 Octobre 95 |
David Janin |
| |
µ-calcul modal vs logique monadique du second ordre |
|
|
| * 23 Octobre 95 |
Anca Muscholl |
| |
On trace codings |
|
|
| * 30 Octobre 95 |
Klaus Barthelmann |
| |
Proving properties of distributed computations |
|
|
| * 13 Novembre 95 |
Laurent Pélecq |
| |
Groupe d'automorphismes d'un graphe context-free |
|
|
| * 20 Novembre 95 |
Géraud Sénizergues |
| |
Groupes agissant sur des graphes context-free |
|
|
| * 27 Novembre 95 |
Bruno Patrou |
| |
Enveloppes z-libres, Opération zigzag binaire |
|
|
| * 11 Décembre 95 |
Bruno Courcelle |
| |
Structures de graphes définissables en
logique monadique du second-ordre |
|
|
| * 18 Décembre 95 |
Bruno Patrou |
| |
Sur deux extensions de l'étoile de Kleene |
|
|
| * 22 Janvier 96 |
Géraud Sénizergues |
| |
Sur la terminaison des systemes semi-Thuéiens à une règle |
|
|
| * 5 Février 96 |
Bruno Courcelle |
| |
Décomposition de Tutte des
graphes 2-connexes en Logique Monadique du 2nd ordre |
|
|
| * 19 Février 96 |
Mohamed Mosbah |
| |
Calcul des fonctions Max-Min sur des graphes
structurés |
|
|
| * 26 Février 96 |
Klaus Barthelmann |
| |
VR sets of hypergraphs are HR if their tree-width is bounded |
|
|
| * 18 Mars 96 |
Yves Métivier |
| |
Détection locale de la terminaison globale d'un
algorithme distribué |
|
|
| * 1 Avril 96 |
Michel Billaud |
| |
Erreurs fatales dans les expressions
conditionnelles |
|
|
| * 20 Mai 96 |
Denis Lapoire |
| |
Algèbre de Cartes |