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

CNRS | TDS-MACS | INRIA | LORIA-FM | LORIA | 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

Record views

163

 

Contact                    Legal Notice                    Personal Data