@inproceedings{Kauers_2025,
    series = {ISSAC ’25},
    title = {Bounds for D-Algebraic Closure Properties},
    url = {http://dx.doi.org/10.1145/3747199.3747552},
    doi = {10.1145/3747199.3747552},
    booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation},
    publisher = {ACM},
    author = {Kauers, Manuel and Pages, Raphael},
    year = {2025},
    month = {jul},
    pages = {106–113},
    collection = {ISSAC ’25},
    date-added = {2026-2-6 9:29:23 +0100}
}

@inproceedings{Kauers_2025, series = {ISSAC ’25}, title = {Bounds for D-Algebraic Closure Properties}, url = {http://dx.doi.org/10.1145/3747199.3747552}, doi = {10.1145/3747199.3747552}, booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation}, publisher = {ACM}, author = {Kauers, Manuel and Pages, Raphael}, year = {2025}, month = {jul}, pages = {106–113}, collection = {ISSAC ’25}, date-added = {2026-2-6 9:29:23 +0100} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge