Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Combining Constraint Languages via Abstract Interpretation

Pierre Talbot David Cachera Eric Monfroy 1 Charlotte Truchet
1 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers
Type de document :
Communication dans un congrès
Liste complète des métadonnées
https://hal.univ-angers.fr/hal-02945596
Contributeur : Eric Monfroy Connectez-vous pour contacter le contributeur
Soumis le : mardi 22 septembre 2020 - 14:32:22
Dernière modification le : mercredi 3 novembre 2021 - 06:08:08

Identifiants

Collections

UNIV-ANGERS | LERIA | ENS-RENNES | UNIV-RENNES

Citation

Pierre Talbot, David Cachera, Eric Monfroy, Charlotte Truchet. Combining Constraint Languages via Abstract Interpretation. 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩. ⟨hal-02945596⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

11