|
|
|
|
|
|
|
| Utilisateur : non connecté | Connexion | Recherche |
|
|
Séminaire Complexité, Logique et Informarique, Paris 7 - fr1 |
| Hubie Chen (San Sebastián) | |
| 16h00 | The Logic of Counting Query Answers: A Study via Existential Positive Queries |
|
|
Séminaire Complexité, Logique et Informarique, Paris 7 - fr1 |
| Bruno Courcelle (LaBRI) | |
| 15h30 | Vérification de propriétés de graphes au moyen d'automates programmés (fly-automata) |
|
|