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 : mardi 18 décembre 2018 - 16:48:02

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

111

Contact


archive-ouverte@inria.fr