刷新
{{item.name}}会员
Semantics and proof theory of the epsilon calculus
epsilon 演算的语义和证明理论
基本信息
- 批准号：416907-2011
- 负责人：
- 金额：$ 0.33万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2011
- 资助国家：加拿大
- 起止时间：2011-01-01 至 2012-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有总结 - Aucun sommaire
项目成果
期刊论文数量（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 }}
Pors, Michael其他文献
Pors, Michael的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Pors, Michael', 18)}}的其他基金
Investigating an Alternate Formulation of K-Theory
研究 K 理论的替代表述
- 批准号：
443015-2013 - 财政年份：2013
- 资助金额：
$ 0.33万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Infinite permutations groups and homogeneous structures
无限排列群和齐次结构
- 批准号：
431082-2012 - 财政年份：2012
- 资助金额：
$ 0.33万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
Recursive Inequalities in Applied Proof Theory
应用证明理论中的递归不等式
- 批准号：
2889781 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Studentship
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Development and Proof-of-Concept Trial of a Meaning and Theory-Based Physical Activity Intervention
基于意义和理论的身体活动干预的开发和概念验证试验
- 批准号：
10302143 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Proof theory, higher order theories of reverse mathematics, and semi-intuitionism
证明论、逆向数学的高阶理论和半直觉主义
- 批准号：
2595035 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Studentship
New foundations of proof theory from a novel notion of substitution
来自新颖替代概念的证明理论的新基础
- 批准号：
2601979 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Studentship
Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logic
重新审视证明论中的序数符号系统：从线性逻辑的角度来看
- 批准号：
21K12822 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Development and Proof-of-Concept Trial of a Meaning and Theory-Based Physical Activity Intervention
基于意义和理论的身体活动干预的开发和概念验证试验
- 批准号：
10483166 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：