停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2.TACS 1994年：日本仙台

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/1994年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/1994
Masami Hagiya先生，约翰·米切尔:
计算机软件的理论方面，1994年4月19日至22日，日本仙台TACS’94国际会议，会议记录。计算机科学课堂讲稿789,施普林格 1994，国际标准图书编号3-540-57887-0

受邀演讲1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Abramsky MJ94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/AbramskyMJ94
萨姆森·阿布拉姆斯基，帕斯奎尔·马拉卡里亚，拉德哈·贾加迪桑:
PCF的完整抽象。 1-15

第1部分。兰姆达微积分与程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Dezani-CiancaglinidP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Dezani-CiancaglinidP94
Mariangiola Dezani-Ciancaglini公司，乌戈·德利古罗，阿道夫·皮佩诺:
并发Lambda-calculus的完全抽象语义。 16至35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/HoweS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/HoweS94
道格拉斯·J·豪，斯科特·斯托勒:
将经典集合论和函数式程序设计语言相结合的一种操作方法。 36-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Jones公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Jones94
马克·P·琼斯:
ML类型化、显式多态性和限定类型。 56-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/RieckeS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/RieckeS94
乔恩·里克，拉梅什·苏布拉曼尼亚姆:
类型系统的扩展可以保持操作等价性。 76-95

受邀演讲2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/KanellakisG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/KanellakisG94
巴黎C.Kanellakis，迪娜·Q·戈尔丁:
约束编程和数据库查询语言。 96-120

第2部分。自动扣除

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Hoa94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Hoa94
阿兰·惠本·霍:
带范围构造的逻辑程序设计语言的直观解析。 121-140年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/BertotKT94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BertotKT94
伊夫·贝托特，吉尔斯·卡恩，洛朗·塞里:
指点证明。 141-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/KorverS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/KorverS94
亨利·科弗，简·斯普林因特维尔德:
米尔纳调度器的计算机检查验证。 161-178

第三部分。函数式编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Sato94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Sato94
佐藤正彦:
一种带有封装赋值的纯函数式语言。 179-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Rao94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Rao94
M.R.K.Krishna Rao先生:
术语重写系统层次组合的简单终止。 203-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/TangJ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/TangJ94
颜美堂，皮埃尔·朱弗洛特:
控制流分析的单独抽象解释。 224-243

受邀演讲3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Cartwright公司F94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/CartwrightF94
罗伯特·卡特赖特，马提亚斯·费莱森:
可扩展表示语言规范。 244-272

第4部分。对象和分配

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Tsuiki94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Tsuiki94
Hideki Tsuiki先生:
带重载和子类型的规范化微积分。 273-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/阿巴迪C94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/AbadiC94
马丁·阿巴迪，鲁卡·凯德利:
基本对象理论-无类型和一阶系统。 296-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/汇款94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Remy94
迪迪埃·雷米:
用ML-ART编程对象，这是对ML的抽象和记录类型的扩展。 321-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/ChenO94会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/ChenO94
陈恭，马丁·奥德斯基:
带赋值的Lambda微积分的类型系统。 347-364

受邀演讲4

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Yonezawa94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Yonezawa94
Akinori Yonezawa公司:
并发面向对象计算的理论与实践。 365

第5部分。并发I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/AspertiL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/AspertiL94
安德烈亚·阿斯佩蒂，科西莫·拉伊夫:
互动系统中的家庭关系。 366-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/GoltzGR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/GoltzGR94
乌苏拉·戈尔茨，罗伯托·戈里埃里，阿伦德·伦辛克:
句法和语义动作精炼。 385-404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Sangiorgi94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Sangiorgi94
戴维德·桑吉奥吉:
移动进程计算中的局部性和真一致性。 405-424

第6部分。术语重写和过程等效

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Bosscher94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Bosscher94
D.J.B.Bosscher博士:
SOS公理化的术语重写特性。 425-439
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Fokkink94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Fokkink94
万·J·福克金:
Tyft/Tyxt格式简化为树规则。 440-453
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Huttel94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Huttel94
汉斯·海特尔:
基本并行过程的不确定等价。 454-464

受邀演讲5

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/高桥AH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/TakahashiAH94
高桥雅子，阿卡玛（Yohji Akama），Sachio Hirokawa先生:
普通校对及其语法。 465-493

第7部分。类型理论与程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/BarbaneraB94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BarbaneraB94
弗朗科·巴巴内拉，斯特凡诺·贝拉迪:
用于“经典”程序提取的对称Lambda演算。 495-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/RehS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/RehS94
雅各布·雷霍夫，莫滕·海因·瑟伦森:
兰姆达_三角洲-微积分。 516-542
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/AriolaKKSV94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/AriolaKKSV94
泽纳·M·阿里奥拉，理查德·肯纳韦，简·威廉·克洛普，M.Ronan睡眠，弗扬·德弗里斯:
未定义的句法定义：关于未定义的定义。 543-554
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/加德纳94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Gardner94
菲利普·加德纳:
使用类型理论发现所需的约简。 555-574

受邀演讲6

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Vardi94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Vardi94
Moshe Y.瓦尔迪:
自动机理论的非传统应用。 575-597

第8部分。代数、范畴和线性逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Wagner94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Wagner94
金·里特·瓦格纳:
抽象预订单。 598-617
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/IslamP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/IslamP94
阿米塔沃伊斯兰，韦斯利·菲亚:
关系数据库的分类模型I：结构形式化，模式集成。 618-641
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Kanovich94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Kanovich94
马克斯·卡诺维奇:
Petri网、Horn程序、线性逻辑和向量游戏。 642-666

第9部分。子类型、交集和并集类型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/SekiguchiY94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/SekiguchiY94网址
Tatsurou Sekiguchi公司，Yonezawa秋诺丽:
子类型递归类型的完整类型推理系统。 667-686
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/大坝94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Damm94
弗莱明·M·达姆:
具有并集类型、交集类型和递归类型的子类型。 687-706
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/DamianiG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/DamianiG94
费鲁西奥·达米亚尼，保拉·贾尼尼:
基于相关性的可判定交叉口类型系统。 707-725

受邀演讲7

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/MannaP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/MannaP94
佐哈尔·曼纳，阿米尔·普努利:
时间验证图。 726-765

第10部分。并发II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Bolignano公司D94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BolignanoD94
多米尼克·博利尼亚诺，穆拉德·德巴比:
并发ML的语义理论。 766-785
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/本田Y94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/HondaY94
Kohei Honda公司，吉田信子:
并发合并器中的复制。 786-805
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/佩隆94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/PeronM94
阿德里亚诺·佩隆，安德烈亚·马吉奥洛·谢蒂尼:
作为中断的转换：时间状态图的新语义。 806-821
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/BonsangueK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BonsangueK94
马塞洛·M·邦桑格，Joost N.Kok公司:
通过闭包算子关联多功能和谓词变换器。 822-843

TACS特别公开讲座

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/FisherM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/FisherM94
凯瑟琳·费舍尔，约翰·米切尔:
关于类型化面向对象编程的注释。 844-885
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Meyer94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Meyer94
阿尔伯特·梅耶:
观察真正并发的进程。 886

服务

管理网站设置

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