Steven Lindell

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 2

Top Topics

Image Processing

Low Dimensional

Top Venues

Tannen's Festschrift

Publications

Siddharth Bhaskar, Steven Lindell, Scott Weinstein
Traversal-Invariant Characterizations of Logarithmic Space. Tannen's Festschrift (2024)
Siddharth Bhaskar, Steven Lindell, Scott Weinstein
Traversal-invariant characterizations of logarithmic space. CoRR (2020)
Steven Lindell
A Normal Form for First-Order Logic over Doubly-Linked Data Structures. Int. J. Found. Comput. Sci. 19 (1) (2008)
Steven Lindell, Scott Weinstein
Book Review. J. Log. Lang. Inf. 16 (2) (2007)
Steven Lindell, Scott Weinstein
The Role of Decidability in First Order Separations over Classes of Finite Structures. LICS (2000)
Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein
Elementary Properties of the Finite Ranks. Math. Log. Q. 44 (1998)
Steven Lindell
A Constant-Space Sequential Model of Computation for First-Order Logic. Inf. Comput. 143 (2) (1998)
Anuj Dawar, Steven Lindell, Scott Weinstein
Infinitary Logic and Inductive Definability over Finite Structures Inf. Comput. 119 (2) (1995)
Stéphane Grumbach, Zoé Lacroix, Steven Lindell
Generalized Implicit Definitions on Finite Structures. CSL (1995)
Anuj Dawar, Steven Lindell, Scott Weinstein
First Order Logic, Fixed Point Logic and Linear Order. CSL (1995)
Steven Lindell
A Constant-Space Sequential Model of Computation for First-Order Logic. LCC (1994)
Steven Lindell
A Logspace Algorithm for Tree Canonization (Extended Abstract) STOC (1992)
Steven Lindell
The Invariant Problem for Binary String Structures and the Parallel Complexity Theory of Queries. J. Comput. Syst. Sci. 44 (3) (1992)
Steven Lindell
A Purely Logical Characterization of Circuit Uniformity. Computational Complexity Conference (1992)
Steven Lindell
An Analysis of Fixed-Point Queries on Binary Trees. Theor. Comput. Sci. 85 (1) (1991)