Login / Signup
Complexity and Uniformity of Elimination in Presburger Arithmetic.
Volker Weispfenning
Published in:
ISSAC (1997)
Keyphrases
</>
presburger arithmetic
quantifier elimination
computational complexity
database systems