Login

Type of document: Other

Language: English

Author(s): Jeanne, Ferrante; Rackoff, Charles

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

Year: 1973

Source: Massachuseets Institute of Technology

Pages: 1-18

Comments: MAC Technical Memorandum 33

Catalog