Browsing MAC Memos (1963 - 1974) by Author "Ferrante, Jeanne"

Now showing items 1-1 of 1

A Decision Procedure for the First Order Theory of Real Addition with Order

Ferrante, Jeanne; Rackoff, Charles (1973-05)

Consider the first order theory of the real numbers with the predicates + (plus) and < (less than). Let S be the set of true sentences. We first present an elimination of quantifiers decision procedure for S, and then ...