停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第342卷第1期，2005年9月6日

应用语义学：选定的主题

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Moggi05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Moggi05
尤金尼奥·莫吉:
应用语义学：选定主题。 1-2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AbbottAG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AbbottAG05
迈克尔·戈登·阿伯特,托尔斯滕·阿尔滕基奇,尼尔·加尼:
容器：构造严格的正类型。 3-27
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ShinwellP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ShinwellP05
马克·申威尔,安德鲁·皮特斯:
关于新鲜度的一元语义。 28-55
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CacheraJPR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CacheraJPR05
大卫·卡切拉,托马斯·詹森,大卫·皮哈迪,弗拉德·鲁苏:
在构造逻辑中提取数据流分析器。 56-78
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/tcs/AlvesF05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AlvesF05
桑德拉·阿尔维斯,马里奥·弗洛里多:
lambda演算的弱线性化。 79-103
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GardnerM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GardnerM05
菲利普·加德纳,塞尔吉奥·马菲斯:
动态web数据建模。 104-131
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Laird05a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Laird05a
詹姆斯·莱尔德:
局部布尔域。 132-148
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AgerDM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AgerDM05
Mads Sig Ager公司,奥利维尔·丹维,扬·米德加德:
具有计算效果的语言的一元计算器和抽象机器之间的函数对应。 149-172

第342卷，编号2-3，2005年9月7日

基础研究

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CourcelleW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CourcelleW05
布鲁诺·库塞尔,帕斯卡·韦尔:
图集的可识别性是一个稳健的性质。 173-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HaghverdiTP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HaghverdiTP05
埃斯凡迪亚尔·哈格韦尔迪,保罗·塔布阿达,乔治·J·帕帕斯:
动态、控制和混合系统的互模拟关系。 229-261
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Oles05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Oles05
弗兰克·J·奥利斯:
优先包容模式和关系学习。 262-315

贡献

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/tcs/CleavelandIN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CleavelandIN05
兰斯·克莱维兰,S.Purushothaman Iyer公司,穆拉利·纳拉西姆哈:
通过模态微积分的概率时间逻辑。 316-350
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LoyerS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LoyerS05
亚恩·洛耶,翁贝托·斯特拉契亚:
逻辑编程中的任意世界假设。 351-381
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/NomikosRG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/NomikosRG05
克里斯托斯·诺米科斯,帕诺斯·朗多吉安尼,格尔加特苏利斯曼诺利斯:
线性和分支时间演绎数据库的时间分层测试。 382-415

服务

管理网站设置

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