Combining Constraint Languages via Abstract Interpretation

Pierre Talbot; David Cachera; Eric Monfroy; Charlotte Truchet

doi:10.1109/ICTAI.2019.00016

Communication Dans Un Congrès Année : 2019

Combining Constraint Languages via Abstract Interpretation

, , (1) ,

1

Pierre Talbot

Fonction : Auteur
PersonId : 177241
IdHAL : pierre-talbot
ORCID : 0000-0001-9202-4541

David Cachera

Fonction : Auteur
PersonId : 16390
IdHAL : david-cachera
IdRef : 133236420

Eric Monfroy

Fonction : Auteur
PersonId : 755555
ORCID : 0000-0001-7970-1368

Laboratoire d'Etudes et de Recherche en Informatique d'Angers

Charlotte Truchet

Fonction : Auteur
PersonId : 20665
IdHAL : charlotte-truchet
ORCID : 0000-0001-9234-6188
IdRef : 183896068

CV

Domaines

Informatique [cs] Intelligence artificielle [cs.AI]

Eric Monfroy : Connectez-vous pour contacter le contributeur

https://univ-angers.hal.science/hal-02945596

Soumis le : mardi 22 septembre 2020-14:32:22

Dernière modification le : mercredi 30 octobre 2024-19:41:13

Dates et versions

hal-02945596 , version 1 (22-09-2020)

Identifiants

HAL Id : hal-02945596 , version 1
DOI : 10.1109/ICTAI.2019.00016

Citer

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ANGERS ENS-RENNES UNIV-RENNES LERIA ANR

28 Consultations

0 Téléchargements

Combining Constraint Languages via Abstract Interpretation

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager