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