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 : Sunday, September 15, 2019 - 1:22:32 AM

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

140

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD