Monadic Datalog Containment

Michael Benedikt 1 Pierre Bourhis 1 Pierre Senellart 2, 3
1 Computing Science Laboratory - Oxford University
2 DIG - Data, Intelligence and Graphs
LTCI - Laboratoire Traitement et Communication de l'Information
3 INFRES - Département Informatique et Réseaux
Document type :
Conference papers
Complete list of metadatas
https://hal-imt.archives-ouvertes.fr/hal-00737942
Contributor : Admin Télécom Paristech <>
Submitted on : Wednesday, October 3, 2012 - 8:03:39 AM
Last modification on : Thursday, October 17, 2019 - 12:36:59 PM

Identifiers

  • HAL Id : hal-00737942, version 1

Collections

INSTITUT-TELECOM | PARISTECH | LTCI | INFRES | DIG

Citation

Michael Benedikt, Pierre Bourhis, Pierre Senellart. Monadic Datalog Containment. ICALP (International Colloquium on Automata, Languages, and Programming), Jul 2012, Warwick, Royaume-Uni. pp.79-91. ⟨hal-00737942⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

143

Contact

CCSD