The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steven Lindell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Steven Lindell
    A Logspace Algorithm for Tree Canonization (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    STOC, 1992, pp:400-404 [Conf]
  4. 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]
  5. Steven Lindell
    A Purely Logical Characterization of Circuit Uniformity. [Citation Graph (0, 0)][DBLP]
    Structure in Complexity Theory Conference, 1992, pp:185-192 [Conf]
  6. Stéphane Grumbach, Zoé Lacroix, Steven Lindell
    Generalized Implicit Definitions on Finite Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:252-265 [Conf]
  7. Steven Lindell
    A Constant-Space Sequential Model of Computation for First-Order Logic. [Citation Graph (0, 0)][DBLP]
    LCC, 1994, pp:447-462 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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.046secs, Finished in 0.047secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002