Counter machines and the safety and disjointness problems for database queries with linear constraints

• Authors:

• Oscar H. Ibarra;Jianwen Su;Constantinos Bartzis

• Affiliations:

• -;-;-

• Venue:
• Where mathematics, computer science, linguistics and biology meet
• Year:
• 2001