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 <>
Soumis le : mardi 22 septembre 2020 - 14:32:22
Dernière modification le : vendredi 13 novembre 2020 - 03:12:02

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

Partager

Métriques

Consultations de la notice

22