@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