Principles of Higher-Order Universal Algebraic Datatypes
高阶通用代数数据类型的原理
基本信息
- 批准号：17K00092
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-04-01 至 2021-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Confluence Competition 2018
2018年汇流大赛
- DOI：10.4230/lipics.fscd.2018.32
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：T. Aoto;M. Hamana;N. Hirokawa;A. Middeldorp J. Nagele;N. Nishida;K. Shintani;and Harald Zankl
- 通讯作者：and Harald Zankl
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation
多态重写规则：汇合、类型推断和实例验证
- DOI：10.1007/978-3-319-90686-7_7
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：木本真理究;竹川俊也;打木陸雄;松林和也;竹島由里子;植村誠;藤代一成;M. Hamana
- 通讯作者：M. Hamana
How to prove decidablity of equational theories with second-order computation analyser SOL
如何使用二阶计算分析器 SOL 证明方程理论的可判定性
- DOI：10.1017/s0956796819000157
- 发表时间：2019
- 期刊：
- 影响因子：1.1
- 作者：Ferenc Nagy;Norimasa Yoshida;M.Hamana
- 通讯作者：M.Hamana
関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化
功能程序和计算系统的可破坏性验证：Toyama-Klop-Barendregt 定理的高阶
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：藤岡 亮;浜名 誠;M. Hamana;浜名誠
- 通讯作者：浜名誠
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Hamana Makoto其他文献
Hamana Makoto的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting
通用代数数据类型：基于高阶重写的数据类型理论与实践
- 批准号：
20H04164 - 财政年份：2020
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Discovery and proof of inductive theorems with multi-context reasoning systems for algebraic software
使用代数软件的多上下文推理系统发现和证明归纳定理
- 批准号：
16K00090 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
構成的論理と代数的仕様言語を融合した発展的ソフトウェア開発言語
一种结合了构造逻辑和代数规范语言的进化软件开发语言。
- 批准号：
10139237 - 财政年份：1998
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
構成的論理言語と代数的仕様言語を融合した発展的ソフトウェア開発言語
一种结合了构造性逻辑语言和代数规范语言的进化软件开发语言。
- 批准号：
09245224 - 财政年份：1997
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
Implementing Visual Programming Environment for Rewriting Computation
实现重写计算的可视化编程环境
- 批准号：
07558037 - 财政年份：1995
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (A)