Paper: Separating Rank Logic from Polynomial Time (at LICS 2021)
Winner of the Kleene Award in 2021
Authors: Moritz Lichter
Abstract
No Abstract Available
BibTeX
@InProceedings{Lichter-SeparatingRankLogic, author = {Moritz Lichter}, title = {Separating Rank Logic from Polynomial Time}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--13}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }