Monadic Datalog Containment

Michael Benedikt; Pierre Bourhis; Pierre Senellart

Conference Papers Year : 2012

Monadic Datalog Containment

(1) , (1) , (2, 3)

1
2
3

Michael Benedikt

Function : Author

Computing Science Laboratory - Oxford University

Pierre Bourhis

Function : Author

Computing Science Laboratory - Oxford University

Pierre Senellart

Function : Author
PersonId : 11778
IdHAL : pierre-senellart
ORCID : 0000-0002-7909-5369
IdRef : 124713769

Data, Intelligence and Graphs

Département Informatique et Réseaux

CV

Domains

Computer Science [cs] Databases [cs.DB] Computer Science [cs] Web Computer Science [cs] Formal Languages and Automata Theory [cs.FL] Computer Science [cs] Computational Complexity [cs.CC] Computer Science [cs] Logic in Computer Science [cs.LO]

Admin Télécom Paristech : Connect in order to contact the contributor

https://hal-imt.archives-ouvertes.fr/hal-00737942

Submitted on : Wednesday, October 3, 2012-8:03:39 AM

Last modification on : Tuesday, October 19, 2021-11:14:15 AM

Dates and versions

hal-00737942 , version 1 (03-10-2012)

Identifiers

HAL Id : hal-00737942 , version 1

Cite

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⟩

Monadic Datalog Containment

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share