Volume 13,
Number 1,
January 1992
Volume 13,
Number 2,
Februarg 1992
Volume 13,
Number 3,
March 1992
- Daniel Lazard:
A Note on Upper Bounds for Ideal-Theoretic Problems.
231-234 BibTeX
- Peter W. O'Hearn, Zbigniew Stachniak:
Resolution Framework for Finitely-Valued First-Order Logics.
235-254 BibTeX
- James Renegar:
On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry of Semi-Algebraic Sets. The Decision Problem for the Existential Theory of the Reals.
255-300 BibTeX
- James Renegar:
On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part II: The General Decision Problem. Preliminaries for Quantifier Elimination.
301-328 BibTeX
- James Renegar:
On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination.
329-352 BibTeX
Volume 13,
Number 4,
April 1992
Volume 13,
Number 5,
May 1992
Volume 13,
Number 6,
June 1992
Copyright © Sun May 17 00:11:21 2009
by Michael Ley (ley@uni-trier.de)
