Advances in Databases and Information Systems
From MaRDI portal
Publication:5464722
DOI10.1007/b100480zbMath1110.03016OpenAlexW2486354329MaRDI QIDQ5464722
Publication date: 19 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100480
Related Items (3)
Deciding Boolean algebra with Presburger arithmetic ⋮ Decision procedures for term algebras with integer constraints ⋮ Effective Quantifier Elimination for Presburger Arithmetic with Infinity
This page was built for publication: Advances in Databases and Information Systems