Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Beweistransformationen mit Schnittelimination in der intuitionistischen Logik
01.05.2012 - 31.07.2015
Forschungsförderungsprojekt
Personen
Projektleiter_in
Alexander Leitsch
(E185)
Institut
E185 - Institut für Computersprachen
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Information and Communication Technology
Publikationen
Publikationsliste