Steven Lindell

Infinitary Logic and Inductive Definability over Finite Structures

Anuj Dawar, Steven Lindell, Scott Weinstein · Information and Computation · 1995 · 94 citations · Full text

Computing, Computer Science, Mathematics +16

A logspace algorithm for tree canonization (extended abstract)

Steven Lindell · 1992 · 85 citations

Computing, Computer Science, Algorithms +8

A purely logical characterization of circuit uniformity

Steven Lindell · 2003 · 27 citations

Computing, Computer Science, Mathematics +10

An analysis of fixed-point queries on binary trees

Steven Lindell · Theoretical Computer Science · 1991 · 24 citations

Computing, Computer Science, Computer Systems +13

Elementary Properties of the Finite Ranks

Anuj Dawar, Kees Doets, Steven Lindell et al. · Mathematical logic quarterly · 1998 · 19 citations

Natural Sciences, Computer Science, Mathematics +7