Steven Lindell

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Traversal-invariant characterizations of logarithmic space	2026-05-12	Paper
First order logic, fixed point logic and linear order	2024-06-21	Paper
Generalized implicit definitions on finite structures	2024-06-21	Paper
A constant-space sequential model of computation for first-order logic Lecture Notes in Computer Science	2023-12-12	Paper
Traversal-invariant characterizations of logarithmic space	2020-06-12	Paper
Infinitary Methods in Finite Model Theory Logic Without Borders	2020-02-03	Paper
A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES International Journal of Foundations of Computer Science	2008-11-03	Paper
A constant-space sequential model of computation for first-order logic Information and Computation	1998-11-10	Paper
Elementary Properties of the Finite Ranks Mathematical Logic Quarterly	1998-09-27	Paper
Infinitary logic and inductive definability over finite structures Information and Computation	1995-08-02	Paper
The invariant problem for binary string structures and the parallel complexity theory of queries Journal of Computer and System Sciences	1992-09-27	Paper
An analysis of fixed-point queries on binary trees Theoretical Computer Science	1992-06-28	Paper

Research outcomes over time

This page was built for person: Steven Lindell