N. Immerman. Descriptive Complexity. Springer-Verlag, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
The Boundary between Decidability and.. - Immerman.. (2004) (6 citations) Self-citation (Immerman) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1999.
Verification Via Structure Simulation - Immerman, Rabinovich, Reps.. (2004) (1 citation) Self-citation (Immerman) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1999.
A Visual Language for Querying and Updating Graphs - Blau Immerman Jensen (2002) (1 citation) Self-citation (Immerman) (Correct)
No context found.
N. Immerman (1999). Descriptive Complexity. Springer Graduate Texts in Computer Science.
Verification via Structure Simulation - Immerman, Rabinovich, Reps.. (2004) (1 citation) Self-citation (Immerman) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1999.
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1999.
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1999.
Unknown - Incom Sciencecolum By (Correct)
No context found.
Immerman 1998 Neil Immerman, " Descriptive Complexity" (Graduate Texts in Computer Science), Springer-Verlag, 1998.
On Field Constraint Analysis - Wies, Kuncak, Lam, Podelski, Rinard (2006) (1 citation) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1998.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
Neil Immerman. Descriptive Complexity. Springer-Verlag, 1998.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Neil Immerman. Descriptive Complexity. Springer-Verlag, 1998.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
Neil Immerman. Descriptive Complexity. Springer-Verlag, 1998.
Adding for-Loops to First-Order Logic - Neven, Otto, Tyszkiewicz, Van den .. (2000) (1 citation) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer, 1998.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Neil Immerman. Descriptive Complexity. Springer-Verlag, 1998.
A Formal Model for an Expressive Fragment of XSLT - Bex, Maneth, Neven (2000) (14 citations) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer, 1998.
Approximate Databases and Query Techniques for Agents with - Patrick Doherty Witold (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, New York, Berlin, 1998.
A second-order theory for NL - Stephen Cook And (2004) (Correct)
No context found.
N. Immerman. Descriptive complexity. Springer Verlag, New York, 1999.
VTC0: A Second-Order Theory for TC0 - Nguyen, Cook (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer, 1999.
Uniform Constant-Depth Threshold Circuits for Division and .. - Hesse, Allender, al. (2002) (1 citation) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1999.
Existential Heap Abstraction Entailment is Undecidable - Kuncak, Rinard (2003) (1 citation) (Correct)
No context found.
Neil Immerman. Descriptive Complexity. Springer-Verlag, 1998.
Unknown - (Correct)
No context found.
N. Immerman. Descriptive Complexity.
A Complete Axiomatization for Blocks World - Stephen Cook And (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer, 1998.
Quantified Propositional Calculus and a Second-Order Theory.. - Cook, Morioka (2004) (1 citation) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer, 1999. 35
An Attempt to Automate NP-Hardness Reductions via SO∃ Logic - Nijjar (2004) (Correct)
No context found.
Neil Immerman. Descriptive Complexity. Springer-Verlag, 1999.
Fixed-Point Logics, Descriptive Complexity, And Random.. - Atserias (2002) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer-Verlag, 1999.
Theories for Complexity Classes and their Propositional Translations - Cook (2004) (Correct)
No context found.
N. Immerman. Descriptive Complexity. Springer, 1999.
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