Steven Lindell

Available identifiers

zbMath Open lindell.stevenMaRDI QIDQ1183570

List of research outcomes

Publication	Date of Publication	Type
A constant-space sequential model of computation for first-order logic	2023-12-12	Paper
Traversal-invariant characterizations of logarithmic space	2020-06-12	Paper
Infinitary Methods in Finite Model Theory	2020-02-03	Paper
A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES	2008-11-03	Paper
A constant-space sequential model of computation for first-order logic	1998-11-10	Paper
Elementary Properties of the Finite Ranks	1998-09-27	Paper
Infinitary logic and inductive definability over finite structures	1995-08-02	Paper
The invariant problem for binary string structures and the parallel complexity theory of queries	1992-09-27	Paper
An analysis of fixed-point queries on binary trees	1992-06-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steven Lindell