sha256 — 5FE6ECE8C5

1 paper found with sha256 equals to 5FE6ECE8C5E46199C916894504CD4F54E769689215A26FDE9FA88C888EBAFB20.

  1. Polynomial Invariants for Affine Programs

    @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}
}