The Computer Journal · 1993 · 218 citations · 0 references
ComputingComputer ScienceMathematicsAlgorithmsData StructuresSet TheoryFirst-order LogicNumber-theoretic AlgorithmsEliminationQuantifier Elimination
The linear quantifier elimination algorithm for ordered fields in [15] is applicable to a wide range of...