Paper: From positive and intuitionistic bounded arithmetic to monotone proof complexity (at LICS 2016)
Authors: Anupam Das
Abstract
No Abstract Available
BibTeX
@InProceedings{Das-Frompositiveandintu, author = {Anupam Das}, title = {From positive and intuitionistic bounded arithmetic to monotone proof complexity}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {126--135}, location = {New York City}, publisher = {IEEE Computer Society Press} }