1 paper found with sha256 equals to 5FE6ECE8C5E46199C916894504CD4F54E769689215A26FDE9FA88C888EBAFB20.
@inproceedings{HOPW18,
address = {New York, NY, USA},
author = {Hrushovski, Ehud and Ouaknine, Joël and Pouly, Amaury and Worrell, James},
booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
doi = {10.1145/3209108.3209142},
isbn = {9781450355834},
location = {Oxford, United Kingdom},
numpages = {10},
pages = {530–539},
publisher = {Association for Computing Machinery},
series = {LICS '18},
sha256 = {5FE6ECE8C5E46199C916894504CD4F54E769689215A26FDE9FA88C888EBAFB20},
title = {Polynomial Invariants for Affine Programs},
url = {https://doi.org/10.1145/3209108.3209142},
year = {2018}
}