Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis. Counter machines and the safety and disjointness problems for database queries with linear constraints. In Carlos Martín-Vide, Victor Mitrana, editors, Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun. pages 127-137, Kluwer Academic Publishers, 2001.
@inproceedings{IbarraSB01,
title = {Counter machines and the safety and disjointness problems for database queries with linear constraints},
author = {Oscar H. Ibarra and Jianwen Su and Constantinos Bartzis},
year = {2001},
researchr = {https://researchr.org/publication/IbarraSB01},
cites = {0},
citedby = {0},
pages = {127-137},
booktitle = {Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun},
editor = {Carlos Martín-Vide and Victor Mitrana},
publisher = {Kluwer Academic Publishers},
isbn = {978-90-481-5607-8},
}