课题基金 / 基金详情

La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification et de vérification

La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification et de vérification
新逻辑技术的并发基础理论和规范与验证形式的应用
批准号：
137112-1992
负责人：
Okada, Mitsuhiro
金额：
$0.91万
依托单位：
Concordia University
依托单位国家：
加拿大
项目类别：
Collaborative Research and Development Grants - Government (H)
财政年份：
1992
资助国家：
加拿大
项目状态：
已结题
起止时间：
1992-01-01 至 1993-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=78465
关键词：
Lathoriedeprocessus

项目摘要

项目成果

Okada, Mitsuhiro的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Application of logic to programming language theory
  • 批准号：
    36663-1993
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $0.91万
  • 财政年份：
    1994
  • 负责人：
    Okada, Mitsuhiro
  • 依托单位：
    Concordia University
The Fifth International Conference on Rewriting Techniques and Applications, Montreal, Québec, June 16-18, 1993
  • 批准号：
    140449-1993
  • 项目类别：
    Conference Grants (H)
  • 资助金额：
    $0.25万
  • 财政年份：
    1993
  • 负责人：
    Okada, Mitsuhiro
  • 依托单位：
    Concordia University
La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification, de vérification et de synthèse
  • 批准号：
    151789-1993
  • 项目类别：
    Collaborative Research and Development Grants - Government (H)
  • 资助金额：
    $0.95万
  • 财政年份：
    1993
  • 负责人：
    Okada, Mitsuhiro
  • 依托单位：
    Concordia University
Application of logic to programming language theory
  • 批准号：
    36663-1993
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.82万
  • 财政年份：
    1993
  • 负责人：
    Okada, Mitsuhiro
  • 依托单位：
    Concordia University
国内基金
海外基金
基于PD-L1/PD-1通路探讨标本配穴电针调控Th17/Treg平衡改善肥胖胰岛素抵抗的作用机制
  • 批准号：
    JCZRLH202600504
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
  • 依托单位：
    武汉市中医医院
参苓通窍散通过调控Th17/Treg平衡重塑免疫微环境治疗慢性鼻窦炎的作用机制研究
基于 Th17 细胞糖酵解重编程的口腔扁平苔藓双层微针调控研究
  • 批准号：
    2026JJ82141
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    陈妮娅
  • 依托单位：
    长沙市口腔医院
基于“SCFAs-小胶质细胞-Th17/Treg免疫细胞轴”探讨异功散调控AD神经炎症的作用机制