Project Acronym Projekt Kurzbezeichnung
Schnittelimination
Project Title (de) Projekttitel (de)
semantic characterization of cut-elimination
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in