Monadic Datalog Containment - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Monadic Datalog Containment

(1) , (1) , (2, 3)
1
2
3
Not file

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⟩
81 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More