Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

https://hal.inria.fr/hal-01652505
Contributor : Emmanuel Jeandel Connect in order to contact the contributor
Submitted on : Thursday, November 30, 2017 - 1:19:34 PM
Last modification on : Wednesday, November 3, 2021 - 7:57:37 AM

Identifiers

  • HAL Id : hal-01652505, version 1

Collections

Citation

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

Share

Metrics

Les métriques sont temporairement indisponibles