Paper: Cyclic Implicit Complexity (at LICS 2022)
Authors: Gianluca Curzi Anupam Das
Abstract
No Abstract Available
BibTeX
@InProceedings{CurziDas-CyclicImplicitCompl, author = {Gianluca Curzi and Anupam Das}, title = {Cyclic Implicit Complexity}, booktitle = {Proceedings of the Thirty seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2022)}, year = {2022}, month = {August}, pages = {1--13}, location = {Haifa, Israel}, publisher = {IEEE Computer Society Press} }