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