|
|
|
|
* 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 |