Paper: On computability and tractability for infinite sets (at LICS 2018)
Authors: Mikolaj Bojanczyk Szymon Torunczyk
Abstract
No Abstract Available
BibTeX
@InProceedings{BojanczykTorunczyk-Oncomputabilityandt, author = {Mikolaj Bojanczyk and Szymon Torunczyk}, title = {On computability and tractability for infinite sets}, booktitle = {Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)}, year = {2018}, month = {July}, pages = {145--154}, location = {Oxford}, publisher = {IEEE Computer Society Press} }