Recursion Theory

递归理论

基本信息

  • 批准号:
    7906084
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1979
  • 资助国家:
    美国
  • 起止时间:
    1979-07-01 至 1984-12-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(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 }}

Sy Friedman其他文献

Young researchers in set theory workshop
年轻研究人员参加集合论研讨会
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    I. Dimitriou;B. Irrgang;Katie Thompson;Jip Veldman;Alessandro Andretta;Martin Goldstern;J. Väänänen;Alex Hellsten;A. Rinot;D. Asperó;Sy Friedman;Gunter Fuchs;Heike Mildenberger;John Krueger;Matteo Viale;Natasha Dobrinen;Edu;David Friedman;Alexander Primavesi;Andreas Fackler;Andrew Brooke;Andrew Brooke
  • 通讯作者:
    Andrew Brooke

Sy Friedman的其他文献

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

{{ truncateString('Sy Friedman', 18)}}的其他基金

Greater Boston Logic Conference, Cambridge, Massachusetts
大波士顿逻辑会议,马萨诸塞州剑桥
  • 批准号:
    9972531
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Simple Theories
简单的理论
  • 批准号:
    9803425
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
U.S.-Venezuela Symposium on Mathematical Logic
美国-委内瑞拉数理逻辑研讨会
  • 批准号:
    9809924
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Set Theory
数学科学:集合论
  • 批准号:
    9625997
  • 财政年份:
    1996
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Set Theory
数学科学:集合论
  • 批准号:
    9205530
  • 财政年份:
    1992
  • 资助金额:
    --
  • 项目类别:
    Continuing grant
Mathematical Sciences: Sacks Symposium
数学科学:萨克斯研讨会
  • 批准号:
    9217230
  • 财政年份:
    1992
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Set Theory
数学科学:集合论
  • 批准号:
    8903380
  • 财政年份:
    1989
  • 资助金额:
    --
  • 项目类别:
    Continuing grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
  • 批准号:
    8519769
  • 财政年份:
    1986
  • 资助金额:
    --
  • 项目类别:
    Continuing grant
Mathematical Sciences: Recursion Theory
数学科学:递归理论
  • 批准号:
    8403230
  • 财政年份:
    1984
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
1978 National Needs Postdoctoral Fellowship Program
1978年 国家急需博士后资助计划
  • 批准号:
    7815579
  • 财政年份:
    1978
  • 资助金额:
    --
  • 项目类别:
    Fellowship Award

相似国自然基金

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 万元
  • 项目类别:
    面上项目

相似海外基金

Recursion Theory and Diophantine Approximation
递归理论和丢番图近似
  • 批准号:
    1600441
  • 财政年份:
    2016
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Descriptive set theory and recursion theory
描述集合论和递归理论
  • 批准号:
    1500974
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Recursion Theory and Its Applications
递归理论及其应用
  • 批准号:
    1458061
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Knot Theory and Topological Recursion
纽结理论和拓扑递归
  • 批准号:
    450905-2013
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    University Undergraduate Student Research Awards
Recursion Theory and Its Applications
递归理论及其应用
  • 批准号:
    1266214
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Recursion Theory, Randomness, and Subsystems of Second Order Arithmetic
递归理论、随机性和二阶算术子系统
  • 批准号:
    1301659
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Theory And Applications of Induction Recursion
归纳递归的理论与应用
  • 批准号:
    EP/G033374/1
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Theory And Applications of Induction Recursion
归纳递归的理论与应用
  • 批准号:
    EP/G03298X/1
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Theory And Applications of Induction Recursion
归纳递归的理论与应用
  • 批准号:
    EP/G033056/1
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Randomness in Recursion Theory and Effective Descriptive Set Theory
递归理论中的随机性和有效描述集合论
  • 批准号:
    0801270
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了