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