Publications of the Project F1303
UnpublishedColloquium - 1998
September 27, 2008
UnpublishedColloquium - 1998
September 27, 2008
Bibliography
- 1
- S. Ratschan.
Approximate quantified constraint solving.
University of North Carolina, September 1998. - 2
- J. Schicho.
A survey on quantifier elimination.
University of Innsbruck, June 1998.
Please direct your comments
or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund