Paper: Enumeration reducibility in closure spaces with applications to logic and algebra (at LICS 2017)
Authors: Emmanuel Jeandel
Abstract
No Abstract Available
BibTeX
@InProceedings{Jeandel-Enumerationreducibi,
author = {Emmanuel Jeandel},
title = {Enumeration reducibility in closure spaces with applications to logic and algebra},
booktitle = {Proceedings of the Thirty second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)},
year = {2017},
month = {June},
pages = {1--11},
location = {Reykjavik},
publisher = {ACM}
}
