Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
Modular Constraint Solver Cooperation via Abstract Interpretation
TALBOT, Pierre; Monfroy, Éric; Truchet, Charlotte
2020 • In Theory and Practice of Logic Programming, 20 (6), p. 848--863
Peer reviewed
Permalien
https://hdl.handle.net/10993/44545
DOI
10.1017/S1471068420000162
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
iclp2020.pdf
Preprint Auteur (496.1 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
TALBOT, Pierre  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Monfroy, Éric;  University of Angers
Truchet, Charlotte;  University of Nantes
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Modular Constraint Solver Cooperation via Abstract Interpretation
Date de publication/diffusion :
2020
Titre du périodique :
Theory and Practice of Logic Programming
Maison d'édition :
Cambridge University Press
Volume/Tome :
20
Fascicule/Saison :
6
Pagination :
848--863
Peer reviewed :
Peer reviewed
URL complémentaire :
https://arxiv.org/abs/2008.01415
Disponible sur ORBilu :
depuis le 24 octobre 2020

Statistiques

Nombre de vues
217 (dont 13 Unilu)
Nombre de téléchargements
78 (dont 5 Unilu)
Voir plus de statistiques
citations Scopus®
 
1
citations Scopus®
sans auto-citations
0
citations OpenAlex
 
1
citations WoS™
 
1

Bibliographie

Publications similaires


Contacter ORBilu