- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j7 |      | Steven Lindell: A Normal Form for First-Order Logic over Doubly-Linked Data Structures. Int. J. Found. Comput. Sci. 19(1): 205-217 (2008) |
| 2007 | ||
| j6 | | Steven Lindell, Scott Weinstein: Book Review. Journal of Logic, Language and Information 16(2): 233-239 (2007) |
| 2000 | ||
| c6 | | Steven Lindell, Scott Weinstein: The Role of Decidability in First Order Separations over Classes of Finite Structures. LICS 2000: 45-50 |
| 1998 | ||
| j5 | | Steven Lindell: A Constant-Space Sequential Model of Computation for First-Order Logic. Inf. Comput. 143(2): 231-250 (1998) |
| j4 |  | Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein: Elementary Properties of the Finite Ranks. Math. Log. Q. 44: 349-353 (1998) |
| 1995 | ||
| j3 | | Anuj Dawar, Steven Lindell, Scott Weinstein: Infinitary Logic and Inductive Definability over Finite Structures. Inf. Comput. 119(2): 160-175 (1995) |
| c5 | | Anuj Dawar, Steven Lindell, Scott Weinstein: First Order Logic, Fixed Point Logic and Linear Order. CSL 1995: 161-177 |
| c4 | | Stéphane Grumbach, Zoé Lacroix, Steven Lindell: Generalized Implicit Definitions on Finite Structures. CSL 1995: 252-265 |
| 1994 | ||
| c3 | | Steven Lindell: A Constant-Space Sequential Model of Computation for First-Order Logic. LCC 1994: 447-462 |
| 1992 | ||
| j2 | | Steven Lindell: The Invariant Problem for Binary String Structures and the Parallel Complexity Theory of Queries. J. Comput. Syst. Sci. 44(3): 385-410 (1992) |
| c2 | | Steven Lindell: A Purely Logical Characterization of Circuit Uniformity. Structure in Complexity Theory Conference 1992: 185-192 |
| c1 | | |
| 1991 | ||
| j1 | | Steven Lindell: An Analysis of Fixed-Point Queries on Binary Trees. Theor. Comput. Sci. 85(1): 75-95 (1991) |
| 1 | Anuj Dawar | |
| 2 | Kees Doets | |
| 3 | Stéphane Grumbach | |
| 4 | Zoé Lacroix | |
| 5 | Scott Weinstein |
Colors in the list of coauthors
Last update Tue May 21 09:21:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page