TICAMORE: Translating and discovering calculi for modal and related logics


Project Acronym Projekt Kurzbezeichnung
TICAMORE
 
Project Title (de) Projekttitel (de)
TICAMORE: Translating and discovering calculi for modal and related logics
 
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
 
Status
IN PROGRESS