默认搜索操作

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

问别人

65.生日：罗宾·米尔纳1999

>主页 >会议和研讨会 >生日

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/1999milner
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/1999milner网址
戈登·普洛金,科林·斯特林,疯子托夫特:
证据、语言和互动，罗宾·米尔纳荣誉论文。麻省理工学院出版社 2000，国际标准图书编号978-0-262-16188-6
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/PlotkinST00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/PlotkinST00网站
戈登·普洛金,科林·斯特林,疯子托夫特:
罗宾·米尔纳的简短科学传记。证明、语言和互动 2000:1-18

语义基础

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/CurienPW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/CurienPW00
皮埃尔·路易斯·居里,戈登·普洛金,格林·温斯克:
双结构、双域和线性逻辑。证明、语言和互动 2000:21-54
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/Abramsky00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Abramsky00
萨姆森·阿布拉姆斯基:
可定义性和完整性公理。证明、语言和互动 2000:55-76
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/HoareJS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HoareJS00
C.A.R.霍尔,何继峰,奥古斯托·桑帕约:
操作语义的代数推导。证明、语言和互动 2000:77-98
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/BakkerB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BakkerB00
杰科·德·巴克,弗兰克·范·布鲁格尔:
从巴纳赫到米尔纳：二阶通信和并发的度量语义。证明、语言和互动 2000:99-132
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/GadducciM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GadducciM00
法比奥·加杜奇,乌戈·蒙塔纳里:
瓷砖模型。证明、语言和互动 2000:133-166

编程逻辑

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/Gordon00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Gordon00网址
麦克·格登:
从LCF到HOL：一段短暂的历史。证明、语言和互动 2000:169-186
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/Paulson00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Paulson00
劳伦斯·保尔森:
一种对（共）归纳和（共）数据类型定义的定点方法。证明、语言和互动 2000:187-212
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/ConstableJNU00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/ConstableJNU00
罗伯特·康斯特布尔,保罗·B·杰克逊,帕维尔·诺莫夫,胡安·乌里韦:
构造性地形式化自动机理论。证明、语言和互动 2000:213-238
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/HuetS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HuetS00
杰拉德·P·休特,阿莫克兰·塞比:
建构范畴理论。证明、语言和互动 2000:239-276
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/ColletteJ00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/ColletteJ00网站
皮埃尔·科莱特,克利夫·琼斯:
在干扰行动的发展中，增强依赖/保障规范的可处理性。证明、语言和互动 2000:277-308
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/BerezinCJM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BerezinCJM00
谢尔盖·贝雷津,埃德蒙·克拉克,萨默什·贾,威尔·马拉罗:
微积分的模型检查算法。证明、语言和互动 2000:309-338

编程语言

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/哈珀S00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HarperS00
罗伯·哈波,克里斯托弗·斯通:
标准ML的类型理论解释。证明、语言和互动 2000:341-388
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/TofteB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/TofteB00网址
疯子托夫特,拉尔斯·比克达尔:
区域推理中的统一性和多态性。证明、语言和互动 2000:389-424
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/Berry00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Berry00
杰拉德·贝里:
埃斯特雷尔的基础。证明、语言和互动 2000:425-454
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/PierceT00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/PierceT00
本杰明·皮尔斯,大卫·N·特纳:
Pict：一种基于Pi-Calculus的编程语言。证明、语言和互动 2000:455-494

并发

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/HirshfeldM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HirshfeldM00
约拉姆·赫什菲尔德,法伦·莫勒:
关于一元正则行为的星高。证明、语言和互动 2000:497-510
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/费雷拉HJ00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/FerreiraHJ00
威廉·费雷拉,马修·轩尼诗,阿兰·杰弗里:
将类型化lambda-calculus与CCS相结合。证明、语言和互动 2000:511-534
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/BaetenBR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/生日/BaetenBR00
Jos C.M.Baeten先生,简·A·伯格斯特拉,米歇尔·雷尼尔斯:
具有静默步长的离散时间过程代数。证明、语言和互动 2000:535-570
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/StarkS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/StarkS00
尤金·W·斯塔克,斯科特·斯莫尔卡:
有限状态概率过程的完整公理系统。证明、语言和互动 2000:571-596

流动性

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/EngbergN00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/EngbergN00
Uffe Engberg公司,莫根斯·尼尔森:
十年后，通过标签传递的通信系统的演算。证明、语言和互动 2000:599-622
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/Parrow00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Parrow00
约阿希姆·帕罗:
三重奏合奏。证明、语言和互动 2000:623-638
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/LiuW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/LiuW00
刘新新,大卫·沃克:
将并发对象作为移动进程。证明、语言和互动 2000:639-658
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/BoudolL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BoudolL00
热拉尔·布多尔,科西莫·拉伊夫:
λ-微积分、多重数和pi-微积分。证明、语言和互动 2000:659-690
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/Sangiorgi00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Sangiorgi00网址
戴维德·桑吉奥吉:
懒惰的功能和移动流程。证明、语言和互动 2000:691-720

管理网站设置

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