@article{Ibarra_2015,
    title = {Semilinear Sets and Counter Machines: a Brief Survey},
    volume = {138},
    issn = {0169-2968},
    url = {http://dx.doi.org/10.3233/FI-2015-1198},
    doi = {10.3233/fi-2015-1198},
    number = {1–2},
    journal = {Fundamenta Informaticae},
    publisher = {IOS Press},
    author = {Ibarra, Oscar H. and Seki, Shinnosuke},
    year = {2015},
    pages = {61--76},
    date-added = {2024-9-27 15:35:50 +0100}
}

@article{Ibarra_2015, title = {Semilinear Sets and Counter Machines: a Brief Survey}, volume = {138}, issn = {0169-2968}, url = {http://dx.doi.org/10.3233/FI-2015-1198}, doi = {10.3233/fi-2015-1198}, number = {1–2}, journal = {Fundamenta Informaticae}, publisher = {IOS Press}, author = {Ibarra, Oscar H. and Seki, Shinnosuke}, year = {2015}, pages = {61--76}, date-added = {2024-9-27 15:35:50 +0100} }