home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / 1235 < prev    next >
Encoding:
Internet Message Format  |  1992-07-24  |  557 b 
  1. Path: sparky!uunet!pmafire!news.dell.com!swrinde!sdd.hp.com!usc!rpi!sarah!cook!subu
  2. From: subu@cs.albany.edu (Mahadevan Subramaniam)
  3. Newsgroups: sci.logic
  4. Subject: quantifier elimination
  5. Message-ID: <1992Jul24.151022.7360@cs.albany.edu>
  6. Date: 24 Jul 92 15:10:22 GMT
  7. Sender: usenet@cs.albany.edu (USENet news)
  8. Organization: The University at Albany, Comp. Sci. Dept.
  9. Lines: 4
  10. Originator: subu@hartmanis.albany.edu
  11.  
  12. Hello,
  13.  Can somebody point out to me references for quantifier elimination 
  14.  over the theory of real numbers. 
  15.   Thanks a lot in anticipation.
  16.