Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

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
TitreEvaluations 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. 
Lieu178 
OrateurBruno Courcelle 
Emailhttp://www.labri.fr/perso/courcell/ 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index