停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1995年第11届MFPS：美国洛杉矶新奥尔良

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 1995年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfps/1995
斯蒂芬·布鲁克斯,迈克尔·梅因,奥斯汀·梅尔顿,迈克尔·米斯洛夫:
1995年3月29日至4月1日，美国洛杉矶新奥尔良杜兰大学，第十一届编程语义数学基础年会，MFPS 1995。理论计算机科学电子笔记1,爱思维尔 1995
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/AlessiBBR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/AlessiBBR95
法比奥·阿莱西,保罗·巴尔丹,吉安娜·贝尔,Jan J.M.M.Rutten先生:
函数和非函数度量域方程的解。 1-12
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BernsteinS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BernsteinS95
凯伦·伯恩斯坦,尤金·W·斯塔克:
调焦调试器的操作语义。 13-31
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BoudolL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BoudolL95
热拉尔·布多尔,科西莫·拉伊夫:
多重lambda-calculus中的终止、死锁和发散。 32至45
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CockettS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CockettS95
J.罗宾B.科克特,大卫·A·斯普纳:
同步和异步的类别。 66-90
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/DharaL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/DharaL95
克里希纳·基肖尔·达拉,加里·利文斯:
具有可变对象的类型的弱行为子类型。 91-113
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Edalat95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Edalat95
阿巴斯·艾达拉特:
学习过程中的领域理论。 114-131
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/EifrizST95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/EifrirST95
乔纳森·艾弗里,斯科特·史密斯,瓦列里·特里丰诺夫:
递归约束类型的类型推理及其在OOP中的应用。 132-153
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/EsikB95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/EsikB95
佐尔坦·埃西克,伯纳茨基:
斯科特归纳法和等式证明。 154-181
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/条目/标记K95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FlaggK95
鲍勃·弗拉格,拉尔夫·科珀曼:
连续空间范畴中的不动点和自反域方程。 182-198
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FreydOPTT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FreydOPTT95
彼得·弗雷德,彼得·奥赫恩,约翰·鲍尔,罗伯特·D·坦能,竹山诚:
双反射。 199-213
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Gardner95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Gardner95
菲利普·加德纳:
行动结石的免费账户。 214-231
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Gordon95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Gordon95
安德鲁·戈登:
作为函数编程理论的相似性。 232-252
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Hoover95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Hoover95
道格拉斯·胡佛:
最大极限空间、幂空间和Scott域。 253-272
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/雅各布斯95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/雅各布斯95
雅各布施:
从fibred的角度来看，子类型和有界量化。 273-289
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Jeffrey95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Jeffrey95
阿兰·杰弗里:
一种具有单元类型的非确定性函数语言的完全抽象语义。 290-301
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Jones 95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Jones95
克利夫·琼斯:
粒度和并发程序的开发。 302-306年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Jones95a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/琼斯95a
克利夫·琼斯:
修复一些并发面向对象概念的语义。 307-312
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Jones95b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Jones95b
尼尔·D·琼斯:
从编程语言的角度来看，复杂性和可计算性。 313-333
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/JungP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/JungP95
阿奇姆·荣格,赫尔曼·普尔曼:
嵌套数据库的类型、逻辑和语义。 334-354
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Lamarche95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Lamarche95
弗朗索瓦·拉马克:
广义相干域和超相干。 355-369
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MaraistOTW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MaraistOTW95
约翰·马拉斯特,马丁·奥德斯基,大卫·N·特纳,菲利普·沃德勒:
按名称调用、按值调用、按需要调用和线性lambda演算。 370-392
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/Mislove95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Mislove95
迈克尔·米斯洛夫:
无界不确定性的表示模型。 393-410
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MontanariP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MontanariP95
乌戈·蒙塔纳里,马可·皮斯托尔:
pi-calculus的并发语义。 411-429
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Nuessler95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Nuessler95
凯·珍妮特·努斯勒:
普遍性和权力领域。 430-446
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/OHearnPTT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/OHearnPTT95
彼得·奥赫恩,约翰·鲍尔,罗伯特·D·坦能,竹山诚:
重新审视干扰的句法控制。 447-486
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/OHearnR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/OHearnR95
彼得·奥赫恩,Uday S.Reddy公司:
物体、干扰和Yoneda嵌入。 487-514
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/PfenningW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PfenningW95
弗兰克·普芬宁,王浩池:
关于S4的模态lambda演算。 515-534
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Schellekens95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Schellekens95
米歇尔·谢勒肯斯:
Smyth补全：指称语义和复杂性分析的共同基础。 535-556
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BrookesMMM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BrookesMMM95
斯蒂芬·布鲁克斯,迈克尔·梅因,奥斯汀·梅尔顿,迈克尔·米斯洛夫:
前言和献词。 557-558

服务

管理站点设置

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