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
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
Complete list of metadatas

https://hal.inria.fr/hal-01652505
Contributor : Emmanuel Jeandel <>
Submitted on : Thursday, November 30, 2017 - 1:19:34 PM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM

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

Record views

163