A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. California Press, 1951. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Stability of Hybrid Systems and Related - Questions From Systems (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. California Press, 1951.
INFINITY 2005 Preliminary Version - Algorithmic Algebraic Model (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, second edition, 1948.
Algorithmic Algebraic Model Checking II: - Decidability Of Semi-Algebraic (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, second edition, 1948.
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe - Alberto Casagrande Carla (Correct)
No context found.
A. Tarski, A Decision Method for Elementary Algebra and Geometry. Univ. California Press, 1951.
Pushing Constraint Selections - Divesh Srivastava Raghu (1992) (38 citations) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California, 1951.
Quantitative Stochastic Parity Games - Chatterjee, Jurdzinski, Henzinger (2003) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley and Los Angeles, 1951.
Stochastic Limit-Average Games are in EXPTIME - Chatterjee, Majumdar, Henzinger (2005) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley and Los Angeles, 1951.
The Complexity of Quantitative Concurrent Parity Games - Chatterjee, Henzinger (2004) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley and Los Angeles, 1951.
Relational Expressive Power of Constraint Query Languages - Benedikt, Dong, Libkin, Wong (1995) (54 citations) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.
Constraint Query Algebras - Goldin (1997) (17 citations) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California, 1951.
Model Checking Probabilistic Pushdown Automata - Esparza, Kucera, Mayr (2004) (1 citation) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. of California Press, Berkeley, 1951.
Model Checking Probabilistic Pushdown Automata - Esparza, Kucera, Mayr (2004) (1 citation) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. of California Press, Berkeley, 1951.
Abstraction Based Theorem Proving: An example from the theory of.. - Tiwari (2003) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1948. Second edition.
Abstractions for Hybrid Systems - Tiwari (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1948. Second edition.
Abstraction Based Theorem Proving: An example from the theory of.. - Tiwari (2003) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1948. Second edition.
A Survey on the Grzegorczyk Hierarchy and Its Extension through.. - Gakwaya (1997) (1 citation) (Correct)
No context found.
Tarski A., " A decision method for elementary algebra and geometry", edition, Univ. Calif. Press, Berkeley, 1951 GAKWAYA Jean-Sylvestre e-mail: gakwaya@sun1.umh.ac.be Universit'e de Mons-Hainaut Institut de Math'ematique et d'Informatique Avenue Maistriau, 15, 7000 Mons, Belgique
Unknown - Christian Michaux Umh (Correct)
No context found.
A. Tarski, A decision method for elementary algebra and geometry (prepared for publication by J. C. C. Mc Kinsey), U.S. Air Force Project RAND, R-109, the RAND Corporation, Santa Monica, California, (1948) iv+60pp. 16 Recent preprints
Verification of non-linear overconstraints in Euclidean geometry .. - Bouhineau (Correct)
No context found.
Tarski, A., A decision method for elementary algebra and geometry, University of California Press, second edition, Los Angeles, 1951.
Extending the Constraint Database Framework - Goldin, Kutlu, Song (2003) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California, 1951.
Quantitative Stochastic Parity Games - Chatterjee, Jurdzinski, Henzinger (2004) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley and Los Angeles, 1951.
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) (Correct)
No context found.
A. Tarski. A decision method for elementary algebra and geometry. University of California Press, second edition, 1951.
Combining Decision Procedures - Manna, Zarba (2003) (3 citations) (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.
The Combination Problem in Automated Reasoning - Zarba (2004) (Correct)
No context found.
Alfred Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.
Solving Existentially Quantified Constraints with One Equality.. - Ratschan (Correct)
No context found.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. of California Press, Berkeley, 1951. Also in [6].
Decidable Controller Synthesis for Classes of Linear Systems - Shakernia, Pappas, Sastry (2000) (6 citations) (Correct)
No context found.
A. Tarski. A decision method for elementary algebra and geometry. University of California Press, second edition, 1951.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC