Computability Theory and its Applications

可计算性理论及其应用

基本信息

  • 批准号:
    RGPIN-2018-03982
  • 负责人:
  • 金额:
    $ 1.31万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2021
  • 资助国家:
    加拿大
  • 起止时间:
    2021-01-01 至 2022-12-31
  • 项目状态:
    已结题

项目摘要

computability theory; computable model theory; computable structure theory; recursion theory
可计算性理论;可计算模型理论;可计算结构理论;递归理论

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Csima, Barbara其他文献

Csima, Barbara的其他文献

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

{{ truncateString('Csima, Barbara', 18)}}的其他基金

Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2022
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2020
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2019
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2018
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2017
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2016
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2015
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2014
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2013
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability theory and its applications
可计算性理论及其应用
  • 批准号:
    312501-2008
  • 财政年份:
    2012
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号:
    12247163
  • 批准年份:
    2022
  • 资助金额:
    18.00 万元
  • 项目类别:
    专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    55 万元
  • 项目类别:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号:
    12126512
  • 批准年份:
    2021
  • 资助金额:
    12.0 万元
  • 项目类别:
    数学天元基金项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
  • 批准号:
    61671064
  • 批准年份:
    2016
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目

相似海外基金

Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2022
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2020
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2019
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability theory on intuitionistic logic and its application to constructive reverse mathematics
直觉逻辑的可计算性理论及其在构造性逆向数学中的应用
  • 批准号:
    18K03392
  • 财政年份:
    2018
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    RGPIN-2018-03982
  • 财政年份:
    2018
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2017
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2016
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2015
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2014
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computability Theory and its Applications
可计算性理论及其应用
  • 批准号:
    312501-2013
  • 财政年份:
    2013
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了