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

Detailseite

Person

Druckansicht

Professor Dr. Thomas Schwentick

Adresse Technische Universität Dortmund
Fakultät für Informatik
Informatik I - Lehrstuhl Logik in der Informatik
Otto-Hahn-Straße 16
44227 Dortmund

Projekte

Als Antragsteller
- laufende Projekte
  - Grundlagen arbeitseffizienter paralleler dynamischer und statischer Algorithmen mit konstant beschränkter Laufzeit (Sachbeihilfen)
- abgeschlossene Projekte
  - Formale Grundlagen von XML-Anfragen unter besonderer Berücksichtigung von XQuery (Sachbeihilfen)
  - Nichtklassische Logik auf Strukturen mit Datenwerten (Sachbeihilfen)
  - Dynamische Ausdrucksstärke von Logiken (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz