semantic characterization of cut-elimination


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