Article Dans Une Revue
Theory and Practice of Logic Programming
Année : 2020
Eric Monfroy : Connectez-vous pour contacter le contributeur
https://univ-angers.hal.science/hal-02945920
Soumis le : mardi 22 septembre 2020-16:45:59
Dernière modification le : mercredi 30 octobre 2024-18:15:23
Dates et versions
Identifiants
- HAL Id : hal-02945920 , version 1
- ARXIV : 2008.01415v2
- DOI : 10.1017/S1471068420000162
Citer
Pierre Talbot, Éric Monfroy, Charlotte Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. Theory and Practice of Logic Programming, 2020, 20 (6), pp.848-863. ⟨10.1017/S1471068420000162⟩. ⟨hal-02945920⟩
Collections
57
Consultations
0
Téléchargements