Beweistransformationen mit Schnittelimination in der intuitionistischen Logik

01.05.2012 - 31.07.2015
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National) Einzelprojekt Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Fördergeber Typ Forschungsförderungsinstitutionen

Forschungsschwerpunkte

  • Information and Communication Technology