Login / Signup

Quantifier elimination for o-minimal structures expanded by a valuational cut.

Clifton F. EalyJana Maríková
Published in: Ann. Pure Appl. Log. (2023)
Keyphrases
  • quantifier elimination
  • presburger arithmetic
  • constraint propagation
  • first order logic
  • cardinality constraints
  • constraint databases
  • functional programming
  • artificial intelligence
  • relational databases