On the Computational Interpretation of Intermediate Logics


Project Acronym Projekt Kurzbezeichnung
CILL
 
Project Title (de) Projekttitel (de)
On the Computational Interpretation of Intermediate Logics
 
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
 
Status
IN PROGRESS