默认搜索操作

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

问别人

第13届MFPS 1997：美国宾夕法尼亚州匹兹堡

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

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/mfps/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfps/1997
斯蒂芬·布鲁克斯,迈克尔·米斯洛夫:
1997年3月23日至26日，美国宾夕法尼亚州匹兹堡卡内基梅隆大学，第十三届编程语义学数学基础年会，MFPS 1997。理论计算机科学电子笔记6,爱思维尔 1997
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BrookesMMM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BrookesMMM97
斯蒂芬·布鲁克斯,迈克尔·梅因,奥斯汀·梅尔顿,迈克尔·米斯洛夫:
前言。 1-2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/X97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/X97
奉献精神。三
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BartheHS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BartheHS97
吉尔斯·巴特,约翰·哈特克利夫,莫滕·海因·瑟伦森:
经典纯类型系统的概念。 4-59
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Brookes97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Brookes97
斯蒂芬·布鲁克斯:
理想的CSP：将程序与通信过程相结合。 60-76
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Cousot97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Cousot97
帕特里克·库索特:
通过抽象解释对过渡系统的语义层次进行构造性设计。 77-102
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BoerG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BoerG97
弗兰克·S·德·波尔,毛里齐奥·加布里埃利:
并发约束编程中的无限计算。 103-118
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/EdalatP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/EdalatP97
阿巴斯·艾达拉特,彼得·约翰·波茨:
精确实数的一种新表示法。 119-132
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FioreR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FioreR97
马塞洛·菲奥雷,朱塞佩·罗索里尼:
从综合角度看cpo的类别。 133-150
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/FlaggK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FlaggK97
鲍勃·弗拉格,拉尔夫·科珀曼:
超度量空间的计算模型。 151-159
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Heckmann97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Heckmann97
雷霍德·赫克曼:
抽象估值：Plotkin幂域和Vietoris超空间的一种新表示。 160-173
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HuJ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HuJ97
胡洪德,安德烈·乔亚尔:
类别的一致性完成及其丰富的柔软性。 174-190
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Huth97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Huth97
伦敦帝国学院:
可能性测度的幂域。 191-202
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/JungKM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/JungKM97
阿奇姆·荣格,马蒂亚斯·凯格曼,M.安德鲁·莫舍:
多语言序列演算和相干空间。 203-220
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CanovichOS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CanovichOS97
马克斯·卡诺维奇,冈田光弘,安德烈·塞德洛夫:
轻型线性逻辑的相位语义。 221-234
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/KinoshitaPT97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/KinoshitaPT97
吉木敬之（Yoshiki Kinoshita）,约翰·鲍尔,竹山真本:
草图-在迈克尔·巴尔60岁生日之际献给他。 235-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MakkaiR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MakkaiR97
迈克尔·马克凯,朱塞佩·罗索里尼:
研究CPO范畴中的饱足感。 249-254
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/Mislove97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Mislove97
迈克尔·米斯洛夫:
用对偶法求解区域方程。 255-271
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Moggi97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Moggi97
尤金尼奥·莫吉:
对两级语言的分类描述。 272
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Older97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Older97
苏珊·奥尔德:
公平沟通过程框架。 273-292
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Power97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Power97
约翰·鲍尔:
指称语义中的模块性。 293-307
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Pratt97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Pratt97
沃恩·R·普拉特:
走向Chu空间线性逻辑的完全完备。 308-325
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Smyth97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Smyth97
迈克尔·B·史密斯:
拓扑和容差。 326
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Sunderhauf97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Sunderhauf97
菲利普·苏恩德豪夫:
数量域理论中的张量积和幂空间。 327-347
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Thielecke97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Thielecke97
Hayo Thielecke先生:
连续语义和自交。 348-364
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Tiemann97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Tiemann97
彼得·蒂曼:
基于区域的绑定时间分析的正确性。 365-390
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Breugel97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Breugel97
弗兰克·范·布鲁格尔:
失败、有限和完全抽象。 391-408
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/ZhangR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ShangR97
张国强,威廉·C·罗兹:
Smyth powerdomain中的分辨率。 409

管理网站设置

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