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
Document type :
Conference papers
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

CNRS | TDS-MACS | INRIA | LORIA | LORIA-FM | UNIV-LORRAINE

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data