@article{Akshay_2024,
    title = {On Robustness for the Skolem, Positivity and Ultimate Positivity Problems},
    volume = {Volume 20, Issue 2},
    issn = {1860-5974},
    url = {http://dx.doi.org/10.46298/lmcs-20(2:11)2024},
    doi = {10.46298/lmcs-20(2:11)2024},
    journal = {Logical Methods in Computer Science},
    publisher = {Centre pour la Communication Scientifique Directe (CCSD)},
    author = {Akshay, S. and Bazille, Hugo and Genest, Blaise and Vahanwala, Mihir},
    year = {2024},
    month = {jun},
    date-added = {2025-1-21 11:16:6 +0100}
}

@article{Akshay_2024, title = {On Robustness for the Skolem, Positivity and Ultimate Positivity Problems}, volume = {Volume 20, Issue 2}, issn = {1860-5974}, url = {http://dx.doi.org/10.46298/lmcs-20(2:11)2024}, doi = {10.46298/lmcs-20(2:11)2024}, journal = {Logical Methods in Computer Science}, publisher = {Centre pour la Communication Scientifique Directe (CCSD)}, author = {Akshay, S. and Bazille, Hugo and Genest, Blaise and Vahanwala, Mihir}, year = {2024}, month = {jun}, date-added = {2025-1-21 11:16:6 +0100} }

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