Coalgebraic Logic Programming for Type Inference
Coalgebraic Logic Programming for Type Inference
用于类型推断的代数逻辑编程
批准号：
EP/K028243/1
负责人：
Anthony Power
金额：
$4.73万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2013
资助国家：
英国
项目状态：
已结题
起止时间：
2013 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[J. Power]
通讯作者：
J. Power
DOI：
10.1093/logcom/exu026
发表时间：
2016
期刊：
Journal of Logic and Computation
影响因子：
0.7
作者：
[Komendantskaya E]
通讯作者：
Komendantskaya E
Preface
前言
前言
DOI：
10.2174/138920292401230610190952
发表时间：
2023-06-23
期刊：
Current Genomics
影响因子：
2.6
作者：
[]
通讯作者：
Logic programming: Laxness and saturation
逻辑编程：松弛和饱和
逻辑编程：松弛和饱和
DOI：
10.1016/j.jlamp.2018.07.004
发表时间：
2018
期刊：
Journal of Logical and Algebraic Methods in Programming
影响因子：
0.9
作者：
[Komendantskaya E]
通讯作者：
Komendantskaya E
CoALP-Ty'16
CoALP-Ty16
CoALP-Ty16
DOI：
10.48550/arxiv.1612.03032
发表时间：
2016
期刊：
影响因子：
--
作者：
[Komendantskaya E]
通讯作者：
Komendantskaya E
共 7 条
国内基金
海外基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
-
批准号：--
-
项目类别：外国学者研究基金项目
-
资助金额：--
-
批准年份：2024
-
负责人：YU BYUNGJUN
-
依托单位：
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
-
批准号：--
-
项目类别：外国学者研究基金项目
-
资助金额：--
-
批准年份：2024
-
负责人：YU BYUNGJUN
-
依托单位：