| |
|
|
|
| * 14 Octobre 96 |
Denis Lapoire |
| |
Découpe de cartes |
|
|
| * 21 Octobre 96 |
David Janin |
| |
Du théorème de Kleene au théorème de Stupp via les
calculs de points fixes |
|
|
| * 28 Octobre 96 |
Denis Lapoire |
| |
Titre à préciser |
|
|
| * 18 Novembre 96 |
Dirk Janssens (Univ. Anvers) |
| |
Systèmes ESM |
|
|
| * 25 Novembre 96 |
Anne Bottreau |
| |
Problèmes d'énumération et réécriture de graphes |
|
|
| * 2 Décembre 96 |
Nicolas Magnier |
| |
Sur la décidabilité des problèmes de préservation de
contraintes d'intégrité |
|
|
| * 16 Décembre 96 |
Mohamed Mosbah |
| |
Marches aléatoires dans un graphe |
|
|
| * 6 Janvier 97 |
Renate Klempien-Hinrichs |
| |
Remplacements de sommets dans des hypergraphes |
|
|
| * 13 Janvier 97 |
Sébastien Limet (Orléans) |
| |
Unification dans les systèmes de réécriture et langages d'arbres |
|
|
| * 20 Janvier 97 |
Jérôme Olivier DURAND-LOSE |
| |
Résultats de décidabilité sur les Automates Cellulaires |
|
|
| * 10 Mars 97 |
Laurent Pelecq |
| |
Groupe d'automorphisme des graphes équationnels |
|
|
| * 24 Mars 97 |
Jérôme Olivier DURAND-LOSE |
| |
Résultats de décidabilité sur les Automates Cellulaires |
|
|
| * 21 Avril 97 |
Géraud Sénizergues |
| |
L(A) = L(B) ? |
|
|
| * 28 Avril 97 |
Pierre Tisseur - Marseille |
| |
Vitesse de propagation de l'information, entropie et
automates cellulaires |