Volume 13; Issue 3

Journal of Symbolic Computation

Volume 13; Issue 3

1

A note on upper bounds for ideal-theoretic problems

Journal:

Journal of Symbolic Computation

Year:

1992

Language:

english

File:

PDF, 305 KB

english, 1992

2

A resolution framework for finitely-valued first-order logics

Peter W. O'Hearn, Zbigniew Stachniak

Journal:

Journal of Symbolic Computation

Year:

1992

Language:

english

File:

PDF, 1.36 MB

english, 1992

3

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

Journal:

Journal of Symbolic Computation

Year:

1992

Language:

english

File:

PDF, 2.86 MB

english, 1992

4

On the computational complexity and geometry of the first-order theory of the reals. Part II: The general decision problem. Preliminaries for quantifier elimination

Journal:

Journal of Symbolic Computation

Year:

1992

Language:

english

File:

PDF, 1.71 MB

english, 1992

5

On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination

Journal:

Journal of Symbolic Computation

Year:

1992

Language:

english

File:

PDF, 1.51 MB

english, 1992