Steven Lindell

17 papers A* 2B 2Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Traversal-Invariant Characterizations of Logarithmic Space.
Tannen's Festschrift
Siddharth Bhaskar, Steven Lindell, Scott Weinstein
2020 J jnl
Traversal-invariant characterizations of logarithmic space.
CoRR
Siddharth Bhaskar, Steven Lindell, Scott Weinstein
2015 — ch.
Infinitary Methods in Finite Model Theory.
Logic Without Borders
Steven Lindell, Henry Towsner, Scott Weinstein
2010 J jnl
Real-time collaboration tools for digital ink.
J. Comput. Sci. Coll.
Steven Lindell
2008 J jnl
A Normal Form for First-Order Logic over Doubly-Linked Data Structures.
Int. J. Found. Comput. Sci.
Steven Lindell
2007 J jnl
Book Review.
J. Log. Lang. Inf.
Steven Lindell, Scott Weinstein
2000 A* conf
The Role of Decidability in First Order Separations over Classes of Finite Structures.
LICS
Steven Lindell, Scott Weinstein
1998 J jnl
A Constant-Space Sequential Model of Computation for First-Order Logic.
Inf. Comput.
Steven Lindell
1998 J jnl
Elementary Properties of the Finite Ranks.
Math. Log. Q.
Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein
1995 B conf
First Order Logic, Fixed Point Logic and Linear Order.
CSL
Anuj Dawar, Steven Lindell, Scott Weinstein
1995 B conf
Generalized Implicit Definitions on Finite Structures.
CSL
Stéphane Grumbach, Zoé Lacroix, Steven Lindell
1995 J jnl
Infinitary Logic and Inductive Definability over Finite Structures
Inf. Comput.
Anuj Dawar, Steven Lindell, Scott Weinstein
1994 — conf
A Constant-Space Sequential Model of Computation for First-Order Logic.
LCC
Steven Lindell
1992 A* conf
A Logspace Algorithm for Tree Canonization (Extended Abstract)
STOC
Steven Lindell
1992 — conf
A Purely Logical Characterization of Circuit Uniformity.
SCT
Steven Lindell
1992 J jnl
The Invariant Problem for Binary String Structures and the Parallel Complexity Theory of Queries.
J. Comput. Syst. Sci.
Steven Lindell
1991 J jnl
An Analysis of Fixed-Point Queries on Binary Trees.
Theor. Comput. Sci.
Steven Lindell