New formal methods based on game semantics and their descriptive hierarchy
New formal methods based on game semantics and their descriptive hierarchy
基于游戏语义及其描述层次的新形式化方法
批准号：
26540001
负责人：
Tanaka Kazuyuki
金额：
$2.25万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(17)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[W. Li, S. Okisaka and K. Tanaka, 田中一之, Kazuyuki Tanaka, 田中一之, K.Tanaka and F. Pelupessy]
通讯作者：
K.Tanaka and F. Pelupessy
決定問題の相転移
决策问题中的相变
决策问题中的相变
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[W. Li, S. Okisaka and K. Tanaka, 田中一之, Kazuyuki Tanaka, 田中一之]
通讯作者：
田中一之
CTFM2016
CTFM2016
CTFM2016
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Workshop on Mathematical Logic
数理逻辑研讨会
数理逻辑研讨会
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
ロジックの世界
逻辑世界
逻辑世界
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[D.クライアン, S.シュアテル, B.メイブリン原著 田中一之訳]
通讯作者：
B.メイブリン原著 田中一之訳
共 15 条
Phase transitions of provability and supercritical propositions of reverse mathematics
-
批准号：15H03634
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.73万
-
财政年份：2015
-
负责人：Tanaka Kazuyuki
-
依托单位：