| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{GrohePakusa-Descriptivecomplexi,
author = {Martin Grohe and Wied Pakusa},
title = {Descriptive complexity of linear equation systems and applications to propositional proof complexity},
booktitle = {Proceedings of the Thirty second Annual IEEE Symposium on Logic in Computer Science (LICS 2017)},
year = {2017},
month = {June},
pages = {1--12},
location = {Reykjavik},
publisher = {IEEE Computer Society Press}
}