A technique for proving decidability of containment and equivalence of linear constraint queries

From MaRDI portal
Publication:1807671

DOI10.1006/jcss.1999.1624zbMath0939.68028OpenAlexW1988946128MaRDI QIDQ1807671

Jianwen Su, Oscar H. Ibarra

Publication date: 23 November 1999

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.1999.1624




Related Items



Cites Work