第条

Willard关系演算子集线性时间片段的形式化重构与加速

作者:

迪帕克戈亚尔,

罗伯特佩奇作者信息和声明

IFIP TC 2 WG 2.1算法语言和计算国际研讨会会议记录

页382-414

出版:1997年1月1日出版历史

摘要

没有可用的摘要。

引用人

查看全部

刘毅斯托勒S林B戈尔博维茨基M(2012)分布式算法从清晰到高效ACM SIGPLAN通知10.1145/2398857.238464547:10(395-410)在线发布日期：2012年10月19日
https://dl.acm.org/doi/10.1145/2398857.2384645
刘毅斯托勒S林B戈博维斯基MLeavens G公司德怀尔·M(2012)分布式算法从清晰到高效ACM面向对象编程系统语言和应用国际会议记录10.1145/2384616.2384645(395-410)在线发布日期：2012年10月19日
https://dl.acm.org/doi/10.1145/2384616.2384645
亨利恩F拉森K奥利维拉B扎勒夫斯基M(2010)语言集成查询的通用多集编程第六届ACM SIGPLAN泛型编程研讨会会议记录10.1145/1863495.1863503(49-60)在线发布日期：2010年9月26日
https://dl.acm.org/doi/10.1145/1863495.1863503
显示更多引用者

索引术语

威拉德关系演算子集线性时间片段的形式化重构与加速

建议

经典线性逻辑内涵片段的可判定性

证明了内涵经典线性逻辑（MELL）的可判定性。内涵线性逻辑（RLL）被证明是可判定的。我们采用克里普克的方法来证明某些相关逻辑的可判定性。半相关RLL作为优于MELL的逻辑出现。。。
Lambda-Calculus的形式化SOS-Proof

我们在本文中描述了通常的大步评估关系的弱化、类型替代性、主题约简和终止的性质的形式化。我们的语言是lambda演算，它的简单性使我们能够显示实际的。。。
构造线性时间逻辑：证明系统与克里普克语义学

本文研究了一种带有“下一个”时态算子的构造线性时间时序逻辑（LTL）。这个逻辑最初是由戴维斯提出的，他证明了逻辑的证明系统对应于绑定时间的类型系统。。。

信息和贡献者

问询处

发布于

IFIP TC 2 WG 2.1算法语言和计算国际研讨会会议记录

1997年1月

444页

国际标准图书编号：0412820501

编辑：
理查德·S·伯德
牛津大学，英国牛津
,
兰伯特·梅滕斯
CWI，荷兰阿姆斯特丹

出版商

查普曼霍尔有限公司。

大不列颠联合王国

出版历史

出版：1997年1月1日

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

14
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月17日的下载量

其他指标

查看作者指标

引文

引用人

查看全部

刘毅斯托勒S林B戈博维斯基M(2012)分布式算法从清晰到高效ACM SIGPLAN通知10.1145/2398857.238464547:10(395-410)在线发布日期：2012年10月19日
https://dl.acm.org/doi/10.1145/2398857.2384645
刘毅斯托勒S林B戈博维斯基MLeavens G公司德怀尔·M(2012)分布式算法从清晰到高效ACM面向对象编程系统语言和应用国际会议记录10.1145/2384616.2384645(395-410)在线发布日期：2012年10月19日
https://dl.acm.org/doi/10.1145/2384616.2384645
恒莱因F拉森K奥利维拉B扎勒夫斯基M(2010)语言集成查询的通用多集编程第六届ACM SIGPLAN泛型编程研讨会会议记录10.1145/1863495.1863503(49-60)在线发布日期：2010年9月26日
https://dl.acm.org/doi/10.1145/1863495.1863503
亨利恩F加拉赫JVoigtländer J公司(2010)使用通用等价鉴别器和惰性积优化关系代数运算2010年ACM SIGPLAN部分评估和程序操作研讨会会议记录10.1145/1706356.1706372(73-82)在线发布日期：2010年1月19日
https://dl.acm.org/doi/10.1145/1706356.1706372
亨利恩F拉森K(2010)基于判别连接和符号笛卡尔积的泛型多集规划高阶和符号计算2007年10月10日/10990-011-9078-823:3(337-370)在线发布日期：2010年9月1日
https://dl.acm.org/doi/10.1007/s10990-011-9078-8
切尼J达尔M埃尔林松皮斯托亚M(2008)数据库查询的资源绑定分析第三届ACM SIGPLAN编程语言和安全分析研讨会会议记录10.1145/1375696.1375706(67-78)在线发布日期：2008年6月7日
https://dl.acm.org/doi/10.1145/1375696.1375706
刘毅王C戈尔博维茨基M罗塔梅尔T程Y赵Y张杰哈特克利夫J提示F(2006)基于核心角色的访问控制2006年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录10.1145/1111542.1111562(112-120)在线发布日期：2006年1月9日
https://dl.acm.org/doi/10.1145/1111542.1111562
刘毅斯托勒S戈博维斯基M罗萨梅尔T刘毅(2005)跨对象抽象的增量化ACM SIGPLAN通知10.1145/1103845.109484840:10(473-486)在线发布日期：2005年10月12日
https://dl.acm.org/doi/10.1145/103845.1094848
刘毅斯托勒S戈博维斯基M罗萨梅尔T刘毅约翰逊R巴尼亚萨德E加布里埃尔·R诺贝尔J玛丽克·B(2005)跨对象抽象的增量化关于面向对象编程、系统、语言和应用程序的第20届ACM SIGPLAN年度会议记录10.1145/1094811.1094848(473-486)在线发布日期：2005年10月17日
https://dl.acm.org/doi/10.1145/1094811.1094848
佩奇R(2005)美国国家科学基金会提案高阶与符号计算2007年10月10日/10990-005-7009-218:1-2(211-235)在线发布日期：2005年6月1日
https://dl.acm.org/doi/10.1007/s10990-005-7009-2
显示更多引用者

引用人

索引术语

建议

经典线性逻辑内涵片段的可判定性

Lambda-Calculus的形式化SOS-Proof

构造线性时间逻辑：证明系统与克里普克语义学

评论

发布于

出版商

出版历史

限定符

其他指标

文章指标

其他指标

引用人

登录选项

完全访问权限

摘要

引用人

索引术语

建议

经典线性逻辑内涵片段的可判定性

Lambda-Calculus的形式化SOS-Proof

构造线性时间逻辑：证明系统与克里普克语义学

评论

问询处

发布于

出版商

出版历史

限定符

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司