Laura Kovács. Algebra-Based Loop Analysis. In Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo, editors, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. pages 41-42, ACM, 2023. [doi]
@inproceedings{Kovacs23-1,
title = {Algebra-Based Loop Analysis},
author = {Laura Kovács},
year = {2023},
doi = {10.1145/3597066.3597150},
url = {https://doi.org/10.1145/3597066.3597150},
researchr = {https://researchr.org/publication/Kovacs23-1},
cites = {0},
citedby = {0},
pages = {41-42},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023},
editor = {Alicia Dickenstein and Elias P. Tsigaridas and Gabriela Jeronimo},
publisher = {ACM},
}