2 projects found matching your search criteria :
Equivalence in Substructural Logics
Call: OPUS 23 , Panel: HS1
Principal investigator: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Dynamics and bounded cohomoogy
Call: SONATINA 2 , Panel: ST1
Principal investigator: dr Michał Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki