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

Detailseite

Person

Druckansicht

Vassilios Gregoriades, Ph.D.

Adresse Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik
Schloßgartenstraße 7
64289 Darmstadt

Projekte

Als Beteiligte Person
- abgeschlossene Projekte
  - Logische Extraktion von effektiven uniformen Schranken aus Beweisen, die auf Folgenkompaktheit basieren. (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz