Login / Signup
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.
Françoise Point
Published in:
J. Symb. Log. (2000)
Keyphrases
</>
presburger arithmetic
general purpose
databases
decision procedures
natural language
quantifier elimination