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

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

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⟩

Partager

Métriques

Consultations de la notice

11