 |
Archives Ouvertes : HAL - IMT |  |
Conference papers
Monadic Datalog Containment
Michael Benedikt
1
Pierre Bourhis
1
Pierre Senellart
2, 3
2
DIG - Data, Intelligence and Graphs
LTCI - Laboratoire Traitement et Communication de l'Information
Michael Benedikt 1
Author
Pierre Bourhis 1
Author
Pierre Senellart 2, 3
Mail :
Author IdHAL : pierre-senellart ORCID : https://orcid.org/0000-0002-7909-5369 arXiv : https://arxiv.org/a/senellart_p_1
1
Computing Science Laboratory - Oxford University (United Kingdom)
- University of Oxford [Oxford] (Wellington Square, Oxford OX1 2JD - United Kingdom)
2
DIG - Data, Intelligence and Graphs (Télécom ParisTech
46, rue Barrault - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (46 rue Barrault F-75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - France)
3
INFRES - Département Informatique et Réseaux (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
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 : Friday, July 31, 2020 - 11:28:03 AM
Contributor : Admin Télécom Paristech <>
Submitted on : Wednesday, October 3, 2012 - 8:03:39 AM
Last modification on : Friday, July 31, 2020 - 11:28:03 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⟩
Metrics
Record views
