Login / Signup
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition.
George E. Collins
Published in:
Automata Theory and Formal Languages (1975)
Keyphrases
</>
quantifier elimination
presburger arithmetic
constraint propagation
general purpose
cardinality constraints
functional programming
constraint databases
database
database systems
software engineering
programming language
first order logic