Set-Consensus Collections are Decidable

Type de document :
Communication dans un congrès
OPODIS, Dec 2016, MADRID, Spain. 2016, LNCS
Liste complète des métadonnées

https://hal.inria.fr/hal-01416981
Contributeur : Carole Delporte-Gallet <>
Soumis le : jeudi 15 décembre 2016 - 10:36:51
Dernière modification le : jeudi 11 janvier 2018 - 06:28:03

Identifiants

  • HAL Id : hal-01416981, version 1

Collections

Citation

Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov. Set-Consensus Collections are Decidable . OPODIS, Dec 2016, MADRID, Spain. 2016, LNCS. 〈hal-01416981〉

Partager

Métriques

Consultations de la notice

210