Monadic Datalog Containment

Michael Benedikt 1 Pierre Bourhis 1 P. Senellart 2
1 Computing Science Laboratory - Oxford University
2 LTCI - Laboratoire Traitement et Communication de l'Information
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 : Wednesday, February 20, 2019 - 2:41:49 PM

Identifiers

  • HAL Id : hal-00737942, version 1

Collections

INSTITUT-TELECOM | PARISTECH | LTCI

Citation

Michael Benedikt, Pierre Bourhis, P. 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

139

Contact

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