Advances in Databases and Information Systems

DOI10.1007/b100480zbMath1110.03016OpenAlexW2486354329MaRDI QIDQ5464722

Peter Z. Revesz

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

Mathematics Subject Classification ID

Database theory (68P15) Quantifier elimination, model completeness, and related topics (03C10)

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