Proof theory for branching quantifiers: CERES and beyond


Project Acronym Projekt Kurzbezeichnung
CERES
 
Project Title (de) Projekttitel (de)
Proof theory for branching quantifiers: CERES and beyond
 
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
 
Status
IN PROGRESS