The following pages link to Steven Lindell (Q1183570):
Displaying 7 items.
- An analysis of fixed-point queries on binary trees (Q1183571) (← links)
- The invariant problem for binary string structures and the parallel complexity theory of queries (Q1191022) (← links)
- A constant-space sequential model of computation for first-order logic (Q1271562) (← links)
- Infinitary logic and inductive definability over finite structures (Q1893734) (← links)
- A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES (Q3532152) (← links)
- Elementary Properties of the Finite Ranks (Q4210837) (← links)
- Infinitary Methods in Finite Model Theory (Q5213574) (← links)
