课题基金 / 基金详情

Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation

Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation
omega机算法及其在程序构建和验证中的应用
批准号：
5210596
负责人：
Professor Dr. Wolfgang Thomas
金额：
$0.0万
依托单位：
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1995
资助国家：
德国
项目状态：
已结题
起止时间：
1994-12-31 至 1999-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5210596?language=en
关键词：
AlgorithmenberomegaAutomatenund

项目摘要

项目成果

Professor Dr. Wolfgang Thomas的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
国内基金
海外基金
基于circRNA_013526/miR-466c/BER通路探讨益肾通络方对苯并(a)芘致生精细胞DNA损伤的修复机制
  • 批准号：
    82174377
  • 项目类别：
    面上项目
  • 资助金额：
    55万元
  • 批准年份：
    2021
  • 负责人：
    王祖龙
  • 依托单位：
    河南中医药大学
基于生物滴滤的3D-BER催化转化疏水性恶臭界面传质强化及微生物学机制
  • 批准号：
    32060291
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    35.0万元
  • 批准年份：
    2020
  • 负责人：
    万顺刚
  • 依托单位：
    海南大学
高分子刷诱导构筑功能性可控空心结构的方法建立与性能研究
  • 批准号：
    22001175
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    田雷
  • 依托单位：
    深圳大学
胃癌细胞外泌体lnc-BER诱导腹膜间皮细胞自噬性分泌HMGB1促进腹膜转移的机制研究
  • 批准号：
    82003104
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    尹松成
  • 依托单位：
    中山大学