Enumeration reducibility in closure spaces with applications to logic and algebra

Emmanuel Jeandel

Enumeration reducibility in closure spaces with applications to logic and algebra

Emmanuel Jeandel ¹

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

Domaine :

Informatique [cs] / Mathématique discrète [cs.DM]

Informatique [cs] / Logique en informatique [cs.LO]

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

Enumeration reducibility in closure spaces with applications to logic and algebra

Identifiants

Collections

Citation

Exporter

Métriques

77

Contact

Enumeration reducibility in closure spaces with applications to logic and algebra

Identifiants

Collections

Citation

Exporter

Partager

Métriques

77

Contact