停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第358卷第1期，2006年7月

前言

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Rozenberg06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/罗森伯格06
格列泽戈兹·罗森伯格:
前言。 1-2

贡献

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BroadbentM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BroadbentM06
安妮·布劳德本特,安德烈·阿伦·梅托特:
关于非本地盒的功率。 3-14
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MiakiszPS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MiakiszPS06
Katarzyna Miakisz公司,爱德华·维克托·彼得罗夫斯基,简·斯拉德科夫斯基:
游戏量化：走向量子人工智能。 15-22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Potgieter06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Potgieter06
彼得鲁斯·波吉特:
Zeno机器和超计算。 23-33
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GarcezLG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GarcezLG06
阿图尔·达维拉·加塞斯,路易斯·兰姆,Dov M.Gabbay公司:
直觉推理的连接计算。 34-55
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LiaD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LiaoD06
薄寮,柯泉鼎:
DNA序列的三维图形表示及其应用。 56-64
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LiQ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LiQ06
李绿洲,邱道文:
量子序贯机之间等价性的确定。 65-74
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Loos06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Loos06
雷姆科·卢斯:
拼接的另一种定义。 75-87
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/IbarraP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/IbarraP06
奥斯卡·H·伊巴拉,Gheorghe Paun公司:
上下文敏感语言和其他语言类的同/反端口P系统特征。 88-103
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KumarB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KumarB06
拉杰夫·库马尔,尼兰詹·班纳吉:
0-1背包问题的多目标进化算法分析。 104-120
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/RogersPJ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/RogersPJ06
亚历克斯·罗杰斯,亚当·普吕盖尔·贝内特,尼古拉斯·R·詹宁斯:
交叉遗传算法中的相变和对称性破坏。 121-141

注释

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/CzeizlerC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CzeizlerC06
埃琳娜·齐兹勒,尤根·齐兹勒:
关于并行通信Watson-Crick自动机系统的威力。 142-147

第358卷，编号2-3，2006年8月

并发理论（CONCUR 2004）编辑

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GardnerY06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GardnerY06
菲利普·加德纳,吉田信子:
编辑。 149

贡献

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BolligL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BolligL06
Benedikt Bollig公司,马丁·勒克:
消息传递自动机在表达上等价于EMSO逻辑。 150至172
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/VaraccaVW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/VaraccaVW06
丹尼尔·瓦拉卡,哈根·沃尔泽,格林·温斯克:
概率事件结构和域。 173-199
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Mellies06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Mellies06
保罗·安德烈·梅利埃:
异步游戏2：纯真的并发。 200-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/AmadioD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AmadioD06
罗伯特·阿马迪奥,西尔瓦诺·达尔·齐利奥:
同步协作线程的资源控制。 229-254
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BojanczykW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BojanczykW06
米科拉伊·博扬奇克,伊戈尔·瓦卢基维奇:
描述EF和EX树逻辑。 255-272
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/市场R06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MarkeyR06
尼古拉斯·马基,Jean-François Raskin女士:
模型检查定时路径的受限集。 273-292
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CairesL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CairesL06
路易斯·凯雷斯,埃蒂安·洛兹:
消除空间逻辑中的量词和不确定性以实现并发。 293-314
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KuceraS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KuceraS06
安东·库塞拉,菲利普·施诺贝伦:
将无限状态系统与其有限状态规范进行比较的一般方法。 315-333

服务

管理站点设置

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