Tarski, A. "A Lattice-Theoretical Fixpoint Theorem and its Applications." Pacific Journal of Mathematics, v. 5, 1955. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Model Checking for Context-Free Processes - Olaf Burkart And (Correct)
No context found.
Tarski, A. "A Lattice-Theoretical Fixpoint Theorem and its Applications." Pacific Journal of Mathematics, v. 5, 1955.
Parsing as AbstractInterpretation - Of Grammar Semantics (Correct)
No context found.
A. Tarski. A lattice theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics,5:285--310, 1955. 13
QAPL 2004 Preliminary Version - Quantitative Calculus And (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 1955. A Proofs Lemma A.1 If - is a negation operator then -0 = 1 and -1 = 0. Proof. For all a
Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. In Pacific Journal of Mathematics 5, pages 285--309.
Flexible Support for Multiple Access Control Policies - Sushil Jajodia George (2001) (20 citations) (Correct)
No context found.
Tarski, A. 1955. A lattice-theoretical fixpoint theorem and its applications. Pacific J.Math. 5, 285--309.
Quantitative μ-calculus and CTL defined over.. - Lluch-Lafuente, Montanari (2005) (Correct)
No context found.
Tarski, A., A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics (1955). 30
Toward Logic Tailored for Computational Complexity - Yuri Gurevich Computer (1984) (59 citations) (Correct)
No context found.
A. Tarski, "A Lattice-Theoretical Fixpoint Theorem and its Application", Pacific Journal of Mathematics 5 (1955), 285-309.
On Lattice-Valued Deductive Databases - Institute (1992) (Correct)
No context found.
Tarski, A.: A Lattice-theoretical Fixpoint Theorem and its Applications. Pacific J. Math., v. 5, p. 285-309, 1955
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
No context found.
Tarski, A. 1955. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285--309.
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (2 citations) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, (5):285--309, 1955.
A Formal Mathematical Framework for - Modeling Probabilistic Hybrid (Correct)
No context found.
A. Tarski. A lattice theoretical fixpoint theorem and its applications. Pacific J. of Math, 5:285--309, 1955.
Don't Know in the -Calculus - Orna Grumberg Martin (2005) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its application. Pacific J.Math., 5:285--309, 1955.
Query Answering in Normal Logic Programs under Uncertainty - Straccia (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, (5):285--309, 1955.
Symbolic Hierarchical Interface-based Supervisory Control - Symbolic Synthesis And (Correct)
No context found.
Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5(2):285--309, 1955.
Hierarchical Organisation of Predicate-Semantic Models - Chen (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Improving Constructiveness in Code Generators - Schneider, Brandt, Schuele.. (2005) (Correct)
No context found.
Tarski, A., A lattice-theoretical fixpoint theorem and its applications, Pacific J. Math 5 (1955), pp. 285--309.
On Computing the Fixpoint of a Set of Boolean Equations - Viktor Kuncak Mit (Correct)
No context found.
Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Algebraic Correctness Proofs for Compiling Recursive Function .. - Indermark, Noll (2004) (Correct)
No context found.
A. Tarski. A lattice--theoretical fixpoint theorem and its applications. Pacific J. Math., 5:285--309, 1955. 45
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Modular Class Analysis with DATALOG - Besson, Jensen, Spoto (2003) (6 citations) (Correct)
No context found.
A. Tarski. A Lattice-theoretical Fixpoint Theorem and its Applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Minimality, Non-Determinism, and Absent Information in.. - Roelofsen (2005) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Unbounded Model Checking for Alternating-Time Temporal Logic - Kacprzak, Penczek (2004) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
No context found.
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285--309, 1955.
Negation as Partial Failure - Mobasher, Leszczylowski, Slutzki.. (1993) (Correct)
No context found.
A. Tarski, A lattice theoretical fixpoint theorem and its applications, Pacific journal of Mathematics, 5 (1955), pp. 285-309.
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