课题基金 / 基金详情

Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik

Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik
计算模型理论及其在计算机科学中的应用
批准号：
5280774
负责人：
Professor Dr. Erich Grädel
金额：
$0.0万
依托单位：
Informatik 7: Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2000
资助国家：
德国
项目状态：
已结题
起止时间：
1999-12-31 至 2008-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5280774?language=en
关键词：
ComputationalModelTheoryalgorithmischeModelltheorie

项目摘要

项目成果

Professor Dr. Erich Grädel的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Ziel dieses Vorhabens ist Erforschung des Zusammenhangs von algorithmischer Komplexität und logische Definierbarkeit auf informatikrelevanten unendlichen Strukturen und damit die Erweiterung der Endlichen Modelltheorie zu einer allgemeineren computational model theory. Insbesondere soll der Ansatz der deskriptiven Komplexitätstheorie systematisch von endlichen Strukturen auf geeignete Klassen unendlicher Strukturen übertragen werden.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Logic, Symmetry, and Complexity
Dependence and Independence, Quantitative Aspects and Counting Constructs in Logic and Games
Automatic Structures
Partielle Information in Logik und Spielen
国内基金
海外基金
基于术中实时影像的SAM(Segment anything model)开发AI指导房间隔穿刺位置决策的增强现实模型
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    居维竹
  • 依托单位：
    江苏省人民医院
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    40万元
  • 批准年份：
    2020
  • 负责人：
    Vikrant Gupta
  • 依托单位：
    南方科技大学
应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制
  • 批准号：
    81771933
  • 项目类别：
    面上项目
  • 资助金额：
    50.0万元
  • 批准年份：
    2017
  • 负责人：
    周全红
  • 依托单位：
    上海交通大学
基于Multilevel Model的雷公藤多苷致育龄女性闭经预测模型研究