停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2010年第26届MFPS：加拿大安大略省渥太华

>主页 >会议和研讨会 >MFPS公司

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mfps/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfps/2010
迈克尔·米斯洛夫,彼得·塞林格:
2010年5月6日至10日，加拿大安大略省渥太华，2010年MFPS第26届编程语义数学基础会议记录。理论计算机科学电子笔记265,爱思维尔 2010
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/MisloveS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MisloveS10
迈克尔·米斯洛夫,彼得·塞林格:
前言。 1-3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Abramsky10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Abramsky10
萨姆森·阿布拉姆斯基:
罗宾·米尔纳的并发工作。 5-10
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HofstraC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HofstraC10
彼得·霍夫斯特拉,J.罗宾B.科克特:
统一理论，统一范畴。 11月33日
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/MartinFK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MartinFK10
凯·马丁,约翰尼·冯,桑吉维·克里希南:
量子信息论中的自由物体。 35-47
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GargFKD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GargFKD10
Deepak Garg公司,杰森·富兰克林,迪尔森·基里·卡纳尔,阿努帕姆·达塔:
具有接口受限对手的组合系统安全。 49-71
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CamporesiFKP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CamporesiFKP10
费尔迪南达·坎波雷西,杰罗姆·费雷特,Heinz Koeppl公司,塔贾娜·彼得罗夫:
合并模型简化。 73-96
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/PavlovicM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PavlovicM10
达斯科·巴甫洛维奇,凯瑟琳·梅多斯:
贝叶斯认证：量化Hancke-Kuhn协议的安全性。 97-122
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Mjolsness10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Mjolsness10
埃里克·姆约尔斯内斯:
动态过程建模语言的可测量类型。 123-144年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/ActeoCIMR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/AcetoCIMR10
卢卡·埃特罗,马泰奥·西米尼,安娜·英格尔斯多蒂尔,穆罕默德·雷扎·穆萨维,米歇尔·雷尼尔斯:
关于零元素和单位元素的规则格式。 145-160
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BasaldellaST10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BasaldellaST10
米歇尔·巴萨尔德拉,亚历克西斯·索林,Kazushige Terui公司:
从逻辑聚焦到聚焦逻辑。 161-176
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Brookes10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Brookes10
斯蒂芬·布鲁克斯:
公平、资源和分离。 177-195
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Brotherston10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Brotherston10
詹姆斯·布罗瑟斯顿:
Bunched逻辑的统一显示证明理论。 197-211
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BucciarelliEM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BucciarelliEM10
安东尼奥·布恰雷利,托马斯·埃尔哈德,朱利奥·曼佐内托:
简单类型资源演算的分类模型。 213-230
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CalderonM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CalderonM10
安娜·C·卡尔德隆,盖伊·麦库斯克:
通过一致性空间理解游戏语义。 231-244
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Capretta10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Capretta10
维南西奥·卡普雷塔:
由同体方程生成的双模拟。 245-258
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/Clouston10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Clouston10
拉纳德·克鲁斯顿:
名义等式逻辑中的约束。 259-276
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CockettR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CockettR10
J.罗宾B.科克特,布莱恩·雷德蒙德:
低复杂性的分类设置。 277-300
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhicaS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhicaS10
丹·吉卡（Dan R.Ghica）,亚历克斯·I·史密斯:
综合几何II：从游戏到延迟敏感电路。 301-324
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GoubaultHK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GoubaultHK10
埃里克·古堡,埃马纽埃尔·豪考特,桑吉维·克里希南:
有向拓扑中的未来路径组件。 325-335
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/长谷川10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/长谷川10
长谷正彦:
Rel.中的双代数。 337-350
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HasuoJN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HasuoJN10
哈朔一郎,雅各布施,米拉德·尼基:
分形的余代数表示理论。 351-368
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Larchey-Wendling10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Larchey-Wendling10
Dominique Larchey-Wendling公司:
通过组语义将Minsky机器直接模拟为经典的束逻辑。 369-387
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/McCuskerP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MCuskerP10
盖伊·麦库斯克,约翰·鲍尔:
局部变量建模：可能的世界和对象空间。 389-402
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Mogelberg10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Mogelberg10
拉斯穆斯·埃杰莱斯·莫格伯格:
本地存储的名义关系模型。 403-421
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Murawski10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Murawski10
安德烈·穆拉夫斯基:
无同步基元的完整抽象。 423-436年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Statman10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Statman10
瑞克·斯塔特曼:
笛卡尔单体。 437-451

服务

管理网站设置

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