Zum Hauptinhalt springen

FWF Der Wissenschaftsfonds

Zum scilog, dem FWF-Magazin

Project Finder

Erweiterte Suche

Ihr Suchergebnis (4 Projekte gefunden)

Suchergebnis als Excel herunterladen

Äquivalenzrelationen in berechenbarer Modelltheorie

Projektnummer
P 27527 Einzelprojekte
ProjektleiterIn
Kuratoriumssitzung
06.10.2014

Projekt-Details

Algorithmische Zufälligkeit und berechenbare Modelltheorie

Projektnummer
P 23989 Einzelprojekte
ProjektleiterIn
Kuratoriumssitzung
27.06.2011

Projekt-Details

Algorithmic properties of structures and theories

Projektnummer
M 1188 Meitner-Programm
ProjektleiterIn
Kuratoriumssitzung
30.11.2009

Projekt-Details

Automatische Strukturen unter berechenbaren Strukturen

Projektnummer
V 206 Richter-Programm (inkl. Richter-PEEK)
ProjektleiterIn
Kuratoriumssitzung
27.06.2011

Projekt-Details

Seitennummerierung