咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 implicit computa...
  • 1 篇 ramified recursi...
  • 1 篇 recursion with s...
  • 1 篇 tree recursion
  • 1 篇 alternation
  • 1 篇 alogtime

机构

  • 1 篇 indiana univ dep...
  • 1 篇 univ nancy 2 lor...

作者

  • 1 篇 marion jy
  • 1 篇 leivant d

语言

  • 1 篇 英文
检索条件"主题词=recursion with substitution parameters"
1 条 记 录,以下是1-10 订阅
排序:
A characterization of alternating log time by ramified recurrence
收藏 引用
THEORETICAL COMPUTER SCIENCE 2000年 第1-2期236卷 193-208页
作者: Leivant, D Marion, JY Indiana Univ Dept Comp Sci Bloomington IN 47405 USA Univ Nancy 2 Loria Projet Calligramme F-54506 Vandoeuvre Nancy France
We give a machine-independent characterization of the class of functions bitwise computable in alternating logarithmic time, with output of polynomial size. Recall that ALogTime is the same, for decision problems, as ... 详细信息
来源: 评论