Classical logic and infinite phenomena in computation
Classical logic and infinite phenomena in computation
经典逻辑和计算中的无限现象
批准号：
15K00012
负责人：
Nakazawa Koji
金额：
$2.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Koji Nakazawa, Ken-etsu Fujita]
通讯作者：
Ken-etsu Fujita
Lambda Calculi and Confluence from A to Z
从 A 到 Z 的 Lambda 演算和 Confluence
从 A 到 Z 的 Lambda 演算和 Confluence
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Satoyuki Tanaka, Daisuke Yanagihara, Aya Yasuoka, Minoru Harada, Shigenobu Okazawa, Masahiko Fujikubo and Tetsuya Yao, Koji Nakazawa]
通讯作者：
Koji Nakazawa
Church-Rosser theorem and compositional Z-property
Church-Rosser 定理和组合 Z 属性
Church-Rosser 定理和组合 Z 属性
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Ulrich Berger, Sewon Park, Holger Thies and Hideki Tsuiki, Ken-etsu Fujita and Koji Nakazawa]
通讯作者：
Ken-etsu Fujita and Koji Nakazawa
Characterizing trees for lambda-mu terms
表征树的 lambda-mu 项
表征树的 lambda-mu 项
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Koji Nakazawa]
通讯作者：
Koji Nakazawa
Z for call-by-value
Z 表示按值调用
Z 表示按值调用
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Koji Nakazawa, Ken-etsu Fujita, and Yuta Imagawa]
通讯作者：
and Yuta Imagawa
共 6 条
Proof theoretic analysis of cyclic proof systems
-
批准号：18K11161
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.58万
-
财政年份：2018
-
负责人：Nakazawa Koji
-
依托单位：
海外基金