停止战争！

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

对于科学家：

默认搜索操作

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

问别人

4.TACS 2001：日本仙台

>主页 >会议和研讨会 >节气门执行器控制系统

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/2001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/2001
小林直树,本杰明·皮尔斯:
计算机软件的理论方面，第四届国际研讨会，TACS 2001，日本仙台，2001年10月29日至31日，会议记录。计算机科学课堂讲稿2215,施普林格 2001，国际标准图书编号3-540-42736-8

受邀演讲1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/CairesC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/凯恩斯C01
路易斯·凯雷斯,鲁卡·凯德利:
并发的空间逻辑。 1-37

第1部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/布列西CC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BugliesiCC01
米歇尔·布列西,朱塞佩·卡斯塔尼亚,西尔维娅·克拉法:
装箱环境。 38-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/HoshinaSY01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/HoshinaSY01
大辅细野,Eijiro Sumii公司,Akinori Yonezawa公司:
分布式计算中细粒度资源访问控制的类型化过程演算。 64-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/阿巴迪J01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/AbadiJ01
马丁·阿巴迪,扬·朱尔扬（Jan Jürjens）:
形式窃听及其计算解释。 82-94

受邀演讲2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Ueda01会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Ueda01
Kazunori Ueda公司:
资源传递并发编程。 95-126

第2部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/LanevePV01文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/LanevePV01
科西莫·拉伊夫,约阿希姆·帕罗,比约恩·维克多:
单独图表。 127-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/KonigM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/KonigM01
芭芭拉·科尼格,乌戈·蒙塔纳里:
具有移动性的同步图重写的观察等价性。 145-164

第3部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Nakano公司01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Nakano01
中野浩史:
具有逼近模态的定点逻辑及其克里普克完备性。 165-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Leivant01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Leivant01
丹尼尔·利万特:
终止证明和复杂性证明。 183-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Martin01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Martin01
凯·马丁:
算法复杂性的Renee方程。 201-218

受邀演讲3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Pitts01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Pitts01
安德鲁·皮特斯:
名义逻辑：名称和约束的一阶理论。 219-242

第4部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/哈马纳01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Hamana01
Makoto Hamana公司:
基于绑定代数的逻辑程序设计语言。 243-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/GalmicheM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/GalmicheM01
迪迪埃·加尔米奇,丹尼尔·梅里:
命题BI逻辑中的证明搜索和反模型生成。 263-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Ogawa01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Ogawa01
小川瑞之:
基于井拟序的线性时间查询处理算法的生成。 283-297

受邀演讲4

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Paulin-Mohring01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Paulin-Mohring01
克里斯汀·保林·莫林:
Coq中时间自动机的建模。 298-315

第5部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/EsparzaKS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/EsparzaKS01
哈维尔·埃斯帕尔扎,安东·库塞拉,斯特凡·施温:
推压系统定期评估的模型检查LTL。 316-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Franzle01文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Franzle01
马丁·弗伦泽:
多项式混合自动机的最终结果是什么？ 340-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/NiehrenP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/NiehrenP01
约阿希姆·尼伦,蒂姆·普里斯尼茨:
自动机理论中的非结构子类型蕴涵。 360-384

第6次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Schnoebelen01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Schnoebelen01
菲利普·施诺贝伦:
有耗信道系统的互模拟和其他不确定等效。 385-399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Puhakka01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Puhakka01
安蒂·普哈卡:
关于“Any-Lock”的弱同余结果。 400-419

受邀演讲5

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/BanerjeeHR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BanerjeeHR01
安妮迪亚·班纳吉,内文·海因策,乔恩·里克:
基于控制流分析的程序转换的设计和正确性。 420-447

第7部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/BonsangueK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BonsangueK01
马塞洛·M·邦桑格,Joost N.Kok公司:
Lazy Lambda微积分的无限交集和并集类型。 448-458
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/山形01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Yamagata01
山形义由纪夫:
二阶对称Lambda-mu微积分的强归一化。 459-467
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Wadler01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Wadler01
菲利普·沃德勒:
Girard-Reynolds同构。 468-491

受邀演讲6

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/JacksonF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/JacksonF01
丹尼尔·杰克逊博士,艾伦·D·费科特:
对象交互的轻量级分析。 492-513

第8部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Beringer01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Beringer01
伦纳特·贝林格:
使用显式转发键入程序集程序。 514-534
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/SerjantovSW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/SerjantovSW01
安德烈·塞尔扬托夫,彼得·苏厄尔,基思·旺斯堡:
UDP演算：真实网络的严格语义。 535-559

TACS公开讲座

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/PierceV01会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/PierceV01
本杰明·皮尔斯,杰罗姆·沃伊隆:
Unison：文件同步器及其规范。 560

服务

管理网站设置

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