Set-Consensus Collections are Decidable

Carole Delporte-Gallet 1, 2 Hugues Fauconnier 1, 2 Eli Gafni 3 Petr Kuznetsov 4
1 IRIF - Institut de Recherche en Informatique Fondamentale
2 GANG - Networks, Graphs and Algorithms
IRIF - Institut de Recherche en Informatique Fondamentale, Inria de Paris
3 UCLA - Computer Science Department [Los Angeles]
4 Institut TELECOM / Télécom ParisTech
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 15 novembre 2018 - 20:27:45

Identifiants

  • HAL Id : hal-01416981, version 1

Collections

INRIA | USPC | INRIA-ROCQ

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

255

Contact


archive-ouverte@inria.fr