默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

《理论计算机科学》第318卷

>主页 >期刊销售 >理论计算机科学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第318卷，第1-2期，2004年6月6日

隐式计算复杂性

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Marion04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Marion04
让-伊夫·马里昂:
编辑：隐含计算复杂性。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AehligBHS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AehligBHS04
克劳斯·埃利格,乌尔里希·伯杰,马丁·霍夫曼,赫尔穆特·施维赫滕贝格:
一种用于非增倍多项式时间计算的算法。 3-27
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/Baillot04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Baillot04
帕特里克·贝洛特:
分层相干空间：轻型线性逻辑的指称语义。 29-55
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BellantoniO04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BellantoniO04
S.贝兰托尼,伊莎贝尔·奥塔维姆:
分离数控沿着三角洲轴。 57-78
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Benzinger04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Benzinger04
拉尔夫·本辛格:
自动化高阶复杂度分析。 79-103
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DannerP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DannerP04
诺曼·丹纳,克里斯·波列特:
最小化和NP多函数。 105-119
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HofmannS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HofmannS04
马丁·霍夫曼,菲利普·斯科特:
类BLL语言的可实现性模型。 121-137
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KristiansenN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KristiansenN04
拉尔斯·克里斯蒂安森,卡尔·海因兹·尼格尔:
命令式编程语言的计算复杂性。 139-161
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Lafont04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Lafont04
伊夫·拉丰:
软线性逻辑和多项式时间。 163-180
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Leivant04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Leivant04
丹尼尔·利万特:
函数程序的内在推理Ⅱ：单极归纳和原语递归。 181-196
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MurawskiO04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MurawskiO04
安德烈·穆拉夫斯基,C.-H.卢克·翁:
关于轻仿射逻辑中安全递归的一种解释。 197-223
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Royer04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Royer04
詹姆斯·罗耶:
关于Longley H泛函的计算复杂性。 225-241

第318卷第3期，2004年6月8日

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Majster-CederbaumS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Majster-CederbaumS04
Mila E.Majster-Cederbaum公司,弗兰克·索尔格:
面向反应系统的分级验证。 243-296
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AlurTP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AlurTP04
拉杰夫·阿鲁尔,萨尔瓦托雷·拉托雷,乔治·J·帕帕斯:
加权时间自动机中的最优路径。 297-322
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DesharnaisGJP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DesharnaisGJP04
何塞·德沙奈斯,维涅特·古普塔,拉德哈·贾加迪桑,普拉卡什·帕南加登:
标记马尔可夫过程的度量。 323-354
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Karner04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Karner04
乔治·卡纳:
连续幺半群和半环。 355-372
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BrodaDFS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BrodaDFS04
萨宾·布罗达,路易斯·达马斯,马塞洛·芬格,保罗·席尔瓦:
BB'IW逻辑片段的可判定性。 373-408
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LagoM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LagoM04
乌戈·达尔·拉戈,马提尼:
基本仿射逻辑的阶段语义和可判定性。 409-433
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BanerjeeB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BanerjeeB04
罗宾·N·班纳吉,安德烈斯·布约萨:
LD分辨率的几何解释。 435-470

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。