Steven Lindell

According to our database, Steven Lindell authored at least 14 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Traversal-Invariant Characterizations of Logarithmic Space.

Siddharth Bhaskar, Steven Lindell, Scott Weinstein

Proceedings of the Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, 2024

2015

Infinitary Methods in Finite Model Theory.

Steven Lindell, Henry Towsner, Scott Weinstein

Proceedings of the Logic Without Borders, 2015

2008

A Normal Form for First-Order Logic over Doubly-Linked Data Structures.

Steven Lindell

Int. J. Found. Comput. Sci., 2008

2007

Book Review.

Steven Lindell, Scott Weinstein

J. Log. Lang. Inf., 2007

2000

The Role of Decidability in First Order Separations over Classes of Finite Structures.

Steven Lindell, Scott Weinstein

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1998

Elementary Properties of the Finite Ranks.

Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein

Math. Log. Q., 1998

A Constant-Space Sequential Model of Computation for First-Order Logic.

Steven Lindell

Inf. Comput., 1998

1995

Infinitary Logic and Inductive Definability over Finite Structures

Anuj Dawar, Steven Lindell, Scott Weinstein

Inf. Comput., June, 1995

Generalized Implicit Definitions on Finite Structures.

Stéphane Grumbach, Zoé Lacroix, Steven Lindell

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

First Order Logic, Fixed Point Logic and Linear Order.

Anuj Dawar, Steven Lindell, Scott Weinstein

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1992

The Invariant Problem for Binary String Structures and the Parallel Complexity Theory of Queries.

Steven Lindell

J. Comput. Syst. Sci., 1992

A Logspace Algorithm for Tree Canonization (Extended Abstract)

Steven Lindell

Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992

A Purely Logical Characterization of Circuit Uniformity.

Steven Lindell

Proceedings of the Seventh Annual Structure in Complexity Theory Conference, 1992

1991

An Analysis of Fixed-Point Queries on Binary Trees.

Steven Lindell

Theor. Comput. Sci., 1991