L-Recursion and a new Logic for Logarithmic Space
L-Recursion and a new Logic for Logarithmic Space
复制标题
L-递归和对数空间的新逻辑
DOI：
10.2168/lmcs-9(1:11)2013
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
B. Laubner
中科院分区：
文献类型：
--
作者：
M. Grohe;B. Gruien;A. Hernich;B. Laubner
登录
查看更多内容
捕获区间图上的多项式时间
DOI：
10.1109/lics.2010.42
发表时间：
2010
期刊：
2010 25th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
B. Laubner
通讯作者：
B. Laubner
作为复杂性衡量标准的表达性：结果和方向
DOI：
10.1109/psct.1987.10319271
发表时间：
1987
期刊：
Proceeding Structure in Complexity Theory
影响因子：
--
作者：
N. Immerman
通讯作者：
N. Immerman
DOI：
10.1137/0221046
发表时间：
1992
期刊：
SIAM J. Comput.
影响因子：
--
作者：
S. Buss;S. Cook;A. Gupta;V. Ramachandran
通讯作者：
V. Ramachandran
DOI：
--
发表时间：
1990
期刊：
影响因子：
--
作者：
N. Immerman;E. Lander
通讯作者：
E. Lander
图表和顺序
DOI：
10.1007/978-94-009-5315-4
发表时间：
1985
期刊：
SIAM J. Comput.
影响因子：
--
作者：
I. Rival
通讯作者：
I. Rival