quantifier elimination

Article View: sci.logic

Article #87

#87

From: Mahadevan Subramaniam
Date: Fri, 24 Jul 1992 15:10

4 lines
572 bytes

Hello,
 Can somebody point out to me references for quantifier elimination 
 over the theory of real numbers. 
  Thanks a lot in anticipation.

Technical Details

Message-ID: <1992Jul24.151022.7360@cs.albany.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!sdd.hp.com!usc!rpi!sarah!cook!subu

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!sdd.hp.com!usc!rpi!sarah!cook!subu
From: subu@cs.albany.edu (Mahadevan Subramaniam)
Newsgroups: sci.logic
Subject: quantifier elimination
Message-ID: <1992Jul24.151022.7360@cs.albany.edu>
Date: 24 Jul 92 15:10:22 GMT
Sender: usenet@cs.albany.edu (USENet news)
Organization: The University at Albany, Comp. Sci. Dept.
Lines: 4
Originator: subu@hartmanis.albany.edu