( en | de | ru )

 

Disambiguation of "Lindell, Steven"

Author of the publication

copydeleteadd this publication to your clipboard
Book Review.

, and . J. Log. Lang. Inf., 16 (2): 233-239 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Steven Ding

Steven Liu

Steven Kaplan

Adolf Steven

Steven Badack

 

Other publications of authors with the same name

A Purely Logical Characterization of Circuit Uniformity.. SCT, page 185-192. IEEE Computer Society, (1992)A Normal Form for First-Order Logic over Doubly-Linked Data Structures.. Int. J. Found. Comput. Sci., 19 (1): 205-217 (2008)Infinitary Methods in Finite Model Theory., , and . Logic Without Borders, volume 5 of Ontos Mathematical Logic, De Gruyter, (2015)Generalized Implicit Definitions on Finite Structures., , and . CSL, volume 1092 of Lecture Notes in Computer Science, page 252-265. Springer, (1995)An Analysis of Fixed-Point Queries on Binary Trees.. Theor. Comput. Sci., 85 (1): 75-95 (1991)First Order Logic, Fixed Point Logic and Linear Order., , and . CSL, volume 1092 of Lecture Notes in Computer Science, page 161-177. Springer, (1995)A Constant-Space Sequential Model of Computation for First-Order Logic.. LCC, volume 960 of Lecture Notes in Computer Science, page 447-462. Springer, (1994)Traversal-invariant characterizations of logarithmic space., , and . CoRR, (2020)Book Review., and . J. Log. Lang. Inf., 16 (2): 233-239 (2007)The Invariant Problem for Binary String Structures and the Parallel Complexity Theory of Queries.. J. Comput. Syst. Sci., 44 (3): 385-410 (1992)