Zobrazeno 1 - 10
of 20
pro vyhledávání: '"LINDELL, STEVEN"'
We give a novel descriptive-complexity theoretic characterization of L and NL computable queries over finite structures using traversal invariance. We summarize this as (N)L = FO + (breadth-first) traversal-invariance.
Externí odkaz:
http://arxiv.org/abs/2006.07067
Autor:
Lindell, Steven
Publikováno v:
The Bulletin of Symbolic Logic, 2001 Dec 01. 7(4), 525-527.
Externí odkaz:
https://www.jstor.org/stable/2687799
Publikováno v:
Journal of Logic, Language, and Information, 2007 Apr 01. 16(2), 233-239.
Externí odkaz:
https://www.jstor.org/stable/40180450
Autor:
LINDELL, STEVEN1
Publikováno v:
International Journal of Foundations of Computer Science. Feb2008, Vol. 19 Issue 1, p205-217. 13p. 5 Diagrams.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lindell, Steven
Publikováno v:
Proceedings of the Twenty-Fourth Annual ACM Symposium: Theory of Computing; 7/1/1992, p400-404, 5p
Publikováno v:
Mathematical Logic Quarterly; 1998, Vol. 44 Issue 3, p349-353, 5p
Autor:
Lindell, Steven
Publikováno v:
Information and Computation; June 1998, Vol. 143 Issue: 2 p231-250, 20p
Autor:
Lindell, Steven
Publikováno v:
The Journal of Symbolic Logic, 1991 Sep 01. 56(3), 1091-1092.
Externí odkaz:
https://www.jstor.org/stable/2275079
Autor:
Lindell, Steven
Publikováno v:
Journal of Symbolic Logic; September 1991, Vol. 56 Issue: 3 p1091-1092, 2p