モデル生成器を利用した条件付き項書き換えシステムの合流性検証に関する研究
モデル生成器を利用した条件付き項書き換えシステムの合流性検証に関する研究
基于模型生成器的条件项重写系统汇合验证研究
批准号：
24K14817
负责人：
青戸 等人
金额：
$3.0万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2024
资助国家：
日本
项目状态：
未结题
起止时间：
2024-04-01 至 2027-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
項書き換えシステムの解の一意性を保証する性質に関する研究
-
批准号：21K11750
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.66万
-
财政年份：2021
-
负责人：青戸 等人
-
依托单位：
高階関数を用いたプログラム検証および変換技術の高度化に関する研究
-
批准号：17700002
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.09万
-
财政年份：2005
-
负责人：青戸 等人
-
依托单位：
宣言型プログラミング言語のためのAC記号のあるナローイングの計算理論
-
批准号：14780187
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$0.7万
-
财政年份：2002
-
负责人：青戸 等人
-
依托单位：