Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014

David Delahaye; Catherine Dubois

Ouvrages Année : 2014

Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014

(1) , (1)

David Delahaye

Fonction : Directeur scientifique
PersonId : 1952
IdHAL : david-delahaye
ORCID : 0000-0003-4779-1359
IdRef : 082035970

Centre d'études et de recherche en informatique et communications

Catherine Dubois

Fonction : Directeur scientifique
PersonId : 1017342
IdHAL : catherine-dubois
ORCID : 0000-0002-9477-8109

Centre d'études et de recherche en informatique et communications

Résumé

Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014

Mots clés

sets provers constraint solver programming language

ensembles étalons solveur de contraintes langage de programmation

Domaines

Informatique [cs] Langage de programmation [cs.PL]

Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01126518

Soumis le : vendredi 6 mars 2015-11:59:34

Dernière modification le : mardi 9 avril 2024-17:12:46

Dates et versions

hal-01126518 , version 1 (06-03-2015)

Identifiants

HAL Id : hal-01126518 , version 1

Citer

David Delahaye, Catherine Dubois (Dir.). Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014. Informal proceedings. 2014. ⟨hal-01126518⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM

19 Consultations

0 Téléchargements

Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014

Résumé

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager