课题基金 / 基金详情

Resources and co-resources: a junction between semantics and descriptive complexity

Resources and co-resources: a junction between semantics and descriptive complexity
资源和共同资源：语义和描述复杂性之间的结合点
批准号：
EP/T007257/1
负责人：
Anuj Dawar
金额：
$50.93万
依托单位：
University of Cambridge
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2019
资助国家：
英国
项目状态：
已结题
起止时间：
2019 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FT007257%2F1
关键词：
Resourcescoresourcesjunctionbetween

项目摘要

项目成果

Anuj Dawar的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
Cohomology in Constraint Satisfaction and Structure Isomorphism
约束满足与结构同构中的上同调
DOI： --
发表时间： 2022
期刊：
影响因子： --
作者： [Adam Ó Conghaile]
通讯作者： Adam Ó Conghaile
Descriptive complexity of graph spectra
图谱的描述复杂性
DOI： 10.1016/j.apal.2019.04.005
发表时间： 2019
期刊： Annals of Pure and Applied Logic
影响因子： 0.8
作者： [Dawar A]
通讯作者： Dawar A
A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES
有限结构极限的对偶理论观点
DOI： 10.17863/cam.81432
发表时间： 2022
期刊：
影响因子： --
作者： [Gehrke M]
通讯作者： Gehrke M
Generalizations of k-dimensional Weisfeiler-Leman stabilization
k 维 Weisfeiler-Leman 稳定性的推广
DOI： 10.2140/moscow.2020.9.229
发表时间： 2020
期刊： Moscow Journal of Combinatorics and Number Theory
影响因子： --
作者： [Dawar A]
通讯作者： Dawar A
共 8 条
    Limits of Symmetric Computation
    • 批准号：
      EP/X028259/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $270.38万
    • 财政年份：
      2023
    • 负责人：
      Anuj Dawar
    • 依托单位：
      University of Cambridge
    Circuits, Logic and Symmetry
    • 批准号：
      EP/S03238X/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $46.13万
    • 财政年份：
      2019
    • 负责人：
      Anuj Dawar
    • 依托单位：
      University of Cambridge
    Descriptive Complexity with Algebraic Operators
    • 批准号：
      EP/H026835/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $54.13万
    • 财政年份：
      2010
    • 负责人：
      Anuj Dawar
    • 依托单位：
      University of Cambridge
    国内基金
    海外基金
    多孔氮碳负载碱土金属修饰Cu/Cu₂O光催化CO₂还原及机理研究
    • 批准号：
      JCZRLH202601411
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
    • 依托单位：
      湖北汽车工业学院
    铜簇负载型MXene催化剂设计及其催化CO₂加氢制甲醇机理的理论研究
    • 批准号：
      2026JJ70020
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      李燕丽
    • 依托单位：
      湖南工学院
    CO2响应型二维多孔Janus催化剂构筑及油/水界面催化调控机制研究
    • 批准号：
      2026JJ80297
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      李超平
    • 依托单位：
      湖南文理学院
    CH4-C02重整新型高抗积炭碳化钼催化剂的设计、性能与催化机理研究
    • 批准号：
      2026JJ81263
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2026
    • 负责人：
      郭丽娟
    • 依托单位：
      长沙医学院