Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik

Adresse 52056 Aachen
Deutschland

GERiT Diese Institution in GERiT

52056 Aachen

Projekte

Sachbeihilfen
- laufende Projekte
  - Provenienzanalyse für Logik und Spiele
    (Antragsteller Grädel, Erich )
- abgeschlossene Projekte
  - Abhängigkeit und Unabhängigkeit, Quantitative Aspekte und Zählkonstrukte in Logik und Spielen
    (Antragsteller Grädel, Erich )
  - Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation
    (Antragsteller Grädel, Erich )
  - Algorithmische Strategien in Mehrpersonen-Spielen - Konzepte und Methoden für kooperationsfähige Systeme
    (Antragsteller Grädel, Erich )
  - Automatische Strukturen
    (Antragsteller Grädel, Erich )
  - Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik
    (Antragsteller Grädel, Erich )
  - Fixpunktlogiken: Ausdrucksstärke, Struktur, Komplexität
    (Antragsteller Grädel, Erich )
  - Logic for Interaction (LINT)
    (Antragsteller Grädel, Erich )
  - Logik, Symmetrie und Komplexität
    (Antragsteller Grädel, Erich )
  - Partielle Information in Logik und Spielen
    (Antragsteller Grädel, Erich )
  - Theoretische Grundlagen und Model-Checking für Abstract-State-Machines
    (Antragsteller Grädel, Erich )
Forschungsstipendien
- abgeschlossene Projekte
  - Algebraische Methoden in der Endlichen Modelltheorie
    (Antragsteller Pakusa, Wied )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)
    (Sprecher Katoen, Joost-Pieter ; Thomas, Wolfgang )

© 2024 DFG Kontakt / Impressum / Datenschutz