Skip to Main content Skip to Navigation
Conference papers

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], Inria Saclay - Ile de France
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00908779
Contributor : Luc Segoufin Connect in order to contact the contributor
Submitted on : Monday, November 25, 2013 - 11:56:26 AM
Last modification on : Monday, February 15, 2021 - 10:41:13 AM

Identifiers

  • HAL Id : hal-00908779, version 1

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. ⟨hal-00908779⟩

Share

Metrics

Record views

375