One-variable logic meets Presburger arithmetic.

Bartosz Bednarczyk

Published in: Theor. Comput. Sci. (2020)

Keyphrases

presburger arithmetic
algebraic structure
quantifier elimination
modal logic
decision procedures
logic programming
constraint propagation
model theoretic
bayesian networks
search algorithm
object oriented
horn clauses
functional programming