Monadic Datalog Containment - IMT - Institut Mines-Télécom Access content directly
Conference Papers Year : 2012
No 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⟩
100 View
0 Download

Share

Gmail Facebook X LinkedIn More