Monadic Datalog Containment - IMT - Institut Mines-Télécom
Communication Dans Un Congrès Année : 2012
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00737942 , version 1

Citer

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⟩
129 Consultations
0 Téléchargements

Partager

More