Intitulé:
Evaluations de requêtes au moyen d'automates programmés (Query evaluations by fly-automata) du groupe Séminaire Méthodes Formelles
|
Date | 2016-10-04 11:00-12:00 |
Titre | Evaluations de requêtes au moyen d'automates programmés (Query evaluations by fly-automata) |
Résumé | Les formules de la logique du second-ordre monadique définissent des ensembles de p-uplets d'ensembles
sur lesquels on peut faire du comptage et des recherches de cardinalité.
On considère dans cet exposé des combinaisons de comptages et de cardinalités.
On utilise pour cela deux types de déterminisation des automates.
Exposé en français. Les transparents sont en anglais. |
Lieu | 178 |
Orateur | Bruno Courcelle |
Email | http://www.labri.fr/perso/courcell/ |
Url | LaBRI |
Aucun document lié à cet événement.
RetourRetour à l'index