Presburger Arithmetic with algebraic scalar multiplications.

Philipp Hieronymi Danny Nguyen Igor Pak

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

presburger arithmetic
algebraic structure
quantifier elimination
probability theory
numerical analysis
decision procedures
computational framework
vector space
database
artificial intelligence
knowledge base
xml documents
query processing
constraint propagation
functional programming