Enumeration of first-order queries on classes of structures with bounded expansion

Wojciech Kazana 1 Luc Segoufin 1
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Communication dans un congrès
ACM conf. on Principle of Database Systems (PODS), Jun 2013, New-York, United States. pp.297-308, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00908779
Contributeur : Luc Segoufin <>
Soumis le : lundi 25 novembre 2013 - 11:56:26
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • HAL Id : hal-00908779, version 1

Collections

Citation

Wojciech Kazana, Luc Segoufin. Enumeration of first-order queries on classes of structures with bounded expansion. ACM conf. on Principle of Database Systems (PODS), Jun 2013, New-York, United States. pp.297-308, 2013. 〈hal-00908779〉

Partager

Métriques

Consultations de la notice

309