Paper: A crevice on the Crane Beach: Finite-degree predicates (at LICS 2017)
Authors: Michaël Cadilhac Charles Paperman
Abstract
No Abstract Available
BibTeX
@InProceedings{CadilhacPaperman-AcreviceontheCraneB, author = {Michaël Cadilhac and Charles Paperman}, title = {A crevice on the Crane Beach: Finite-degree predicates}, booktitle = {Proceedings of the Thirty second Annual IEEE Symposium on Logic in Computer Science (LICS 2017)}, year = {2017}, month = {June}, pages = {1--9}, location = {Reykjavik}, publisher = {IEEE Computer Society Press} }