Le domaine « emath.fr »  :    ACM    Annuaire    CNU 25    CNU 26    MATEXO    MathDoc    Postes    SMAI    SMF
----------------------------------------------------------------------
Logo ACM
  Recherche   Nouvelles Informations Contact
logoEMATH logoEMATH
----------------------------------------------------------------------
Utilisateur : non connecté  |  Connexion  |  Recherche
----------------------------------------------------------------------

16 juin 2015

Information 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

 

04 novembre 2014

Information 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)






 
----------------------------------------------------------------------
Pour toutes questions, remarques, commentaires... écrivez à acm@emath.fr
© ACM 5.0 , créé par Stéphane Cordier en février 1998. màj: janvier 2005 Loulou Pouchet/Alain Prignet
Dernière mise à jour : vendredi 26 Juillet 2019 à 10h 29
----------------------------------------------------------------------