Search the dblp DataBase
Steven Lindell :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Anuj Dawar , Steven Lindell , Scott Weinstein Infinitary Logic and Inductive Definability over Finite Structures [Citation Graph (4, 0)][DBLP ] Inf. Comput., 1995, v:119, n:2, pp:160-175 [Journal ] Anuj Dawar , Steven Lindell , Scott Weinstein First Order Logic, Fixed Point Logic and Linear Order. [Citation Graph (1, 0)][DBLP ] CSL, 1995, pp:161-177 [Conf ] Steven Lindell A Logspace Algorithm for Tree Canonization (Extended Abstract) [Citation Graph (1, 0)][DBLP ] STOC, 1992, pp:400-404 [Conf ] Steven Lindell An Analysis of Fixed-Point Queries on Binary Trees. [Citation Graph (1, 0)][DBLP ] Theor. Comput. Sci., 1991, v:85, n:1, pp:75-95 [Journal ] Steven Lindell A Purely Logical Characterization of Circuit Uniformity. [Citation Graph (0, 0)][DBLP ] Structure in Complexity Theory Conference, 1992, pp:185-192 [Conf ] Stéphane Grumbach , Zoé Lacroix , Steven Lindell Generalized Implicit Definitions on Finite Structures. [Citation Graph (0, 0)][DBLP ] CSL, 1995, pp:252-265 [Conf ] Steven Lindell A Constant-Space Sequential Model of Computation for First-Order Logic. [Citation Graph (0, 0)][DBLP ] LCC, 1994, pp:447-462 [Conf ] Steven Lindell , Scott Weinstein The Role of Decidability in First Order Separations over Classes of Finite Structures. [Citation Graph (0, 0)][DBLP ] LICS, 2000, pp:45-50 [Conf ] Steven Lindell A Constant-Space Sequential Model of Computation for First-Order Logic. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1998, v:143, n:2, pp:231-250 [Journal ] Steven Lindell The Invariant Problem for Binary String Structures and the Parallel Complexity Theory of Queries. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1992, v:44, n:3, pp:385-410 [Journal ] Steven Lindell , Scott Weinstein Book Review. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2007, v:16, n:2, pp:233-239 [Journal ] Anuj Dawar , Kees Doets , Steven Lindell , Scott Weinstein Elementary Properties of the Finite Ranks. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 1998, v:44, n:, pp:349-353 [Journal ] Search in 0.002secs, Finished in 0.003secs