Monadic Datalog Containment - IMT - Institut Mines-Télécom Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Monadic Datalog Containment

Domaines

Base de données [cs.DB] Web Théorie et langage formel [cs.FL] Complexité [cs.CC] Logique en informatique [cs.LO]

Admin Télécom Paristech  : Connectez-vous pour contacter le contributeur

https://imt.hal.science/hal-00737942

Soumis le : mercredi 3 octobre 2012-08:03:39

Dernière modification le : lundi 9 octobre 2023-12:49:40

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM PARISTECH LTCI INFRES DIG
101 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More