默认搜索操作

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

问别人

60岁生日：Gordon D.Plotkin

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/生日/2007plotkin
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2007plotkin网站
鲁卡·凯德利,马塞洛·菲奥雷,格林·温斯克:
计算、意义和逻辑：Gordon Plotkin专用文章。理论计算机科学电子笔记172,爱思维尔 2007
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CardelliFW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CardelliFW07
鲁卡·凯德利,马塞洛·菲奥雷,格林·温斯克:
前言。 1-4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Abadi07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Abadi07网址
马丁·阿巴迪:
依赖性核心演算中的访问控制。 5-31
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Abramsky07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Abramsky07网址
萨姆森·阿布拉姆斯基:
事件域、稳定函数和证明网。 33-67
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BattenfeldSS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BattenfeldSS07
英戈·巴滕菲尔德,马蒂亚斯·施罗德,亚历克斯·辛普森:
一个方便的域类别。 69-99
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BlutePP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BlutePP07
理查德·布鲁特,普拉卡什·帕南加登,多雷特·普龙克:
作为核函数的共形场理论。 101-132
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/CalcagnoGZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CalcagnoGZ07
克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,乌里·扎尔法蒂:
关于数据更新的本地推理。 133-175
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CardelliGG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CardelliGG07
鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
使用隐藏标签操纵树。 177-201
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CataniF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CattaniF07
吉安·卢卡·卡塔尼,马塞洛·菲奥雷:
递归区域方程的双范畴理论解。 203-222
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记帐/entcs/CloustonP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CloustonP07
拉纳德·亚历山大·克鲁斯顿,安德鲁·皮特斯:
名义等式逻辑。 223-257
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CraryH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CraryH07
卡尔·克莱里,罗伯·哈波:
多态和递归类型的句法逻辑关系。 259-299
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Curien07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Curien07
皮埃尔·路易斯·居里:
可定义性和全面抽象。 301-310
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/DataDMR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/DataDMR07
阿努帕姆·达塔,安特·德里克,约翰·米切尔,阿纳布·罗伊:
协议组合逻辑（PCL）。 311-358
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/DengGHMZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/DengGHMZ07
邓玉欣,罗布·范·格拉贝克,马修·轩尼诗,卡罗尔·摩根,张晨毅:
关于测试概率过程的备注。 359-397
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HonsellLL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HonsellLL07
福里奥·霍塞尔,玛丽娜·莱尼萨,路易吉·利科里:
定义逻辑框架的框架。 399-436
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HylandP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HylandP07
马丁·海兰德,约翰·鲍尔:
泛代数的范畴理论理解：劳弗尔理论和单数。 437-458
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/MislovePW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MislovePW07
迈克尔·米斯洛夫,杜斯科·帕夫洛维奇,詹姆斯·沃雷尔:
将马尔可夫过程标记为广义随机关系。 459-478
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Moggi07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Moggi07
尤金尼奥·莫吉:
构建操作语义：简化和计算。 479-497
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/NielsenKS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/尼尔森KS07
莫根斯·尼尔森,卡尔·克鲁科夫,弗拉迪米罗·萨松:
基于事件信任的贝叶斯模型。 499-521
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Nielson2007
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/NielsonN07
弗莱明·尼尔森,汉内·里斯·尼尔森:
安全和安保约束启发式。 523-543
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/PymT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PymT07
大卫·J·派姆,克里斯·M·N·托夫茨:
通过资源和过程进行系统建模：哲学、微积分、语义和逻辑。 545-587
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Stirling07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Stirling07
科林·斯特林:
lambda-Calculi类型的模型检查游戏。 589-609
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Winskel07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Winskel07
格林·温斯克:
具有对称性的事件结构。 611-652

管理网站设置

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