Previous Contents

10   Année 1995-96

Groupe de travail géré par par P.A. Wacrenier

   


* 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


Previous Contents