Quantitative analysis of existential theorems of reduction systems
Quantitative analysis of existential theorems of reduction systems
约简系统存在定理的定量分析
批准号：
17K05343
负责人：
Fujita Kenetsu
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
On formalization of logic puzzles a la Smullyan
论 Smullyan 逻辑难题的形式化
论 Smullyan 逻辑难题的形式化
DOI：
--
发表时间：
2021
期刊：
京都大学数理解析研究所講究録
影响因子：
--
作者：
[Y. Honda, K. Nakawaza, K. Fujita, Masahiko Shimojo, Kenetsu Fujita]
通讯作者：
Kenetsu Fujita
ラムダ計算の簡約グラフについて
关于lambda演算的简化图
关于lambda演算的简化图
DOI：
--
发表时间：
2020
期刊：
京都大学数理解析研究所講究録
影响因子：
--
作者：
[富岡峻士，藤田憲悦]
通讯作者：
富岡峻士，藤田憲悦
DOI：
--
发表时间：
2018
期刊：
Proceedings of the Queueing Symposium, Stochastic Models and Their Applications
影响因子：
--
作者：
[R. Ty, K. Fujita, K. Kawanishi]
通讯作者：
K. Kawanishi
藤田研究室
藤田实验室
藤田实验室
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
George Boolos' "The Hardest Logic Puzzle Ever" Revisited
乔治·布洛斯的“有史以来最难的逻辑谜题”重温
乔治·布洛斯的“有史以来最难的逻辑谜题”重温
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Editors Sandra Pinelas, TomasCaraballo, Peter Kloeden and John R. Graef, K. Fujita]
通讯作者：
K. Fujita
共 18 条