停止战争！

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

对于科学家：

默认搜索操作

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

问别人

理论计算机科学，第323卷

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第323卷，第1-3期，2004年9月

第条

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/JeffreyR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/JeffreyR04
阿兰·杰弗里,朱利安·拉特克:
对具有本地名称的并发ML片段进行互模拟的理论。 1-48
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Raffalli04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Raffalli04
克里斯托夫·拉法利:
从从经典证明中提取的程序中获取结果。 49-70
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CerritoK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CerritoK04
塞雷内拉·塞里托,迪莉娅·凯斯纳:
模式匹配作为切割消除。 71-127
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BaldanBCP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BaldanBCP04
保罗·巴尔丹,纳迪娅·布西,安德烈亚·科拉迪尼,G.米歇尔·平纳:
具有读弧和抑制弧的Petri网的域和事件结构语义。 129-189
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HieronsH04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HieronsH04
罗伯特·海伦斯,马克·哈曼:
针对非确定性流X机器测试确定性实现的一致性。 191-233
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/tcs/Porter04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Porter04
蒂莫西·波特:
从范畴的角度解释了多智能体系统的系统和克里普克模型。 235-266
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Peltier04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Peltier04
尼古拉斯·佩尔蒂埃:
原始语法的一阶理论是可判定的。 267-320
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/张R04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ZhangR04
张国强,威廉·C·罗兹:
使用电源默认值进行推理。 321-350
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DhelingrD04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DehlingrD04
克里斯托夫·德林格,Jean-François Dufourd女士:
Coq中广义映射的形式化。 351-397
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DhelingrD04a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DehlingrD04a
克里斯托弗·德林格,Jean-François Dufourd女士:
将Coq中的交易定理形式化。 399-442
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/UrsoK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/UrsoK04
帕斯卡·乌尔索,伊曼纽尔·库纳利斯:
数学归纳法中的合理概括。 443-471年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/UrbanPG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/UrbanPG04
克里斯蒂安·厄本,安德鲁·皮特斯,默多克·加贝:
名义统一。 473-497

服务

管理网站设置

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