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
Type de document :
Communication dans un congrès
ICALP (International Colloquium on Automata, Languages, and Programming), Jul 2012, Warwick, Royaume-Uni. ICALP (International Colloquium on Automata, Languages, and Programming), pp.79-91, 2012
Liste complète des métadonnées
https://hal-imt.archives-ouvertes.fr/hal-00737942
Contributeur : Admin Télécom Paristech <>
Soumis le : mercredi 3 octobre 2012 - 08:03:39
Dernière modification le : jeudi 11 janvier 2018 - 06:23:38

Identifiants

  • HAL Id : hal-00737942, version 1

Collections

PARISTECH | TELECOM-PARISTECH

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

107

Contact

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