权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Coalgebraic Logic Programming for Type Inference

用于类型推断的代数逻辑编程

基本信息

批准号：
EP/K028243/1
负责人：
Anthony Power
金额：
$ 4.73万
依托单位：
University of Bath
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2013
资助国家：
英国
起止时间：
2013 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FK028243%2F1
关键词：
Coalgebraic Logic Programming Type Inference

项目摘要

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.

目前GtR中并没有提供所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为它包含敏感信息，如个人详细信息。

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Category Theoretic Semantics for Logic Programming: Laxness and Saturation

逻辑编程的范畴理论语义：松弛和饱和

DOI：
发表时间：
期刊：
影响因子：
0
作者：
J. Power
通讯作者：
J. Power

Coalgebraic logic programming: from Semantics to Implementation

代数逻辑编程：从语义到实现

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

DOI：
10.48550/arxiv.1612.03032
发表时间：
2016
期刊：
影响因子：
0
作者：
Komendantskaya E
通讯作者：
Komendantskaya E

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Anthony Power其他文献

Radiant heat flux modelling for wildfires

DOI：
10.1016/j.matcom.2019.07.008
发表时间：
2020-09-01
期刊：
Research article
影响因子：
作者：
James E. Hilton;Justin E. Leonard;Raphaele Blanchi;Glenn J. Newnham;Kimberley Opie;Anthony Power;Chris Rucinski;William Swedosh
通讯作者：
William Swedosh