Universal models of programming languages and program reasoning
编程语言和程序推理的通用模型
基本信息
- 批准号：18K11156
- 负责人：
- 金额：$ 1.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2018
- 资助国家：日本
- 起止时间：2018-04-01 至 2022-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（12）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars
从 (n 1) 阶单词语法到 n 阶树语法的大小保留翻译
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Kazuyuki Asada; Naoki Kobayashi
- 通讯作者：Naoki Kobayashi
Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered
Lambda 可定义的 3 阶树函数是良准有序的
- DOI：10.4230/lipics.fsttcs.2018.14
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Kazuyuki Asada; Naoki Kobayashi
- 通讯作者：Naoki Kobayashi
Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings
作为 Sigma-Semirings 模块类别的线性逻辑的线性代数模型
- DOI：
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：Takeshi Tsukada;Kazuyuki Asada
- 通讯作者：Kazuyuki Asada
A Compositional Approach to Parity Games
平价游戏的组合方法
- DOI：10.4204/eptcs.351.17
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Watanabe Kazuki; Eberhart Clovis; Asada Kazuyuki; Hasuo Ichiro
- 通讯作者：Hasuo Ichiro
{{
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 }}
Asada Kazuyuki其他文献
Verifying relational properties of functional programs by first-order refinement
通过一阶细化验证函数程序的关系属性
- DOI：
10.1016/j.scico.2016.02.007 - 发表时间：
2017 - 期刊：
- 影响因子：1.3
- 作者：
Asada Kazuyuki;Sato Ryosuke;Kobayashi Naoki - 通讯作者：
Kobayashi Naoki
Streaming ranked-tree-to-string transducers
流式排列的树到串传感器
- DOI：
10.1016/j.tcs.2020.12.033 - 发表时间：
2021 - 期刊：
- 影响因子：1.1
- 作者：
Takahashi Yuta;Asada Kazuyuki;Nakano Keisuke - 通讯作者：
Nakano Keisuke
Streaming Ranked-Tree-to-String Transducers
流式传输排名树到字符串传感器
- DOI：
10.1007/978-3-030-23679-3_19 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Takahashi Yuta;Asada Kazuyuki;Nakano Keisuke - 通讯作者：
Nakano Keisuke
Streaming ranked-tree-to-string transducers
流式排列的树到串传感器
- DOI：
10.1016/j.tcs.2020.12.033 - 发表时间：
2021 - 期刊：
- 影响因子：1.1
- 作者：
Takahashi Yuta;Asada Kazuyuki;Nakano Keisuke - 通讯作者：
Nakano Keisuke
Streaming ranked-tree-to-string transducers
流式排列的树到串传感器
- DOI：
10.1016/j.tcs.2020.12.033 - 发表时间：
2021 - 期刊：
- 影响因子：1.1
- 作者：
Takahashi Yuta;Asada Kazuyuki;Nakano Keisuke - 通讯作者：
Nakano Keisuke
Asada Kazuyuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
Digital Delivery of Evidence-Based Mental Health Content and Mentoring to Adolescents
以数字方式向青少年提供循证心理健康内容和指导
- 批准号：
10758731 - 财政年份：2023
- 资助金额：
$ 1.83万 - 项目类别：
Linguistic knowledge and language change: Testing and forming a theory of social meaning formation based on Irish English usage data
语言知识和语言变化：基于爱尔兰英语使用数据测试和形成社会意义形成理论
- 批准号：
22KK0193 - 财政年份：2023
- 资助金额：
$ 1.83万 - 项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research (A))
Development and Proof-of-Concept Trial of a Meaning and Theory-Based Physical Activity Intervention
基于意义和理论的身体活动干预的开发和概念验证试验
- 批准号：
10483166 - 财政年份：2021
- 资助金额：
$ 1.83万 - 项目类别：
Development and Proof-of-Concept Trial of a Meaning and Theory-Based Physical Activity Intervention
基于意义和理论的身体活动干预的开发和概念验证试验
- 批准号：
10302143 - 财政年份：2021
- 资助金额：
$ 1.83万 - 项目类别：
Constructing a theory of meaning based on East Asian philosophy
构建基于东亚哲学的意义理论
- 批准号：
21K00003 - 财政年份：2021
- 资助金额：
$ 1.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)