Enumeration reducibility in closure spaces with applications to logic and algebra

Emmanuel Jeandel 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
Logic in Computer Science (LICS), 2017, reyjkavik, Iceland
Liste complète des métadonnées
https://hal.inria.fr/hal-01652505
Contributeur : Emmanuel Jeandel <>
Soumis le : jeudi 30 novembre 2017 - 13:19:34
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25

Identifiants

  • HAL Id : hal-01652505, version 1

Collections

TDS-MACS | INRIA | LORIA | LORIA-FM | UNIV-LORRAINE | INRIA2017

Citation

Emmanuel Jeandel. Enumeration reducibility in closure spaces with applications to logic and algebra. Logic in Computer Science (LICS), 2017, reyjkavik, Iceland. 〈hal-01652505〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

106

Contact


archive-ouverte@inria.fr