Login / Signup
Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract).
Christoph Wernhard
Published in:
SOQE (2017)
Keyphrases
</>
quantifier elimination
functional programming
artificial intelligence
constraint propagation
cardinality constraints
deductive databases
presburger arithmetic
database design
constraint databases
datalog queries