2 projects found matching your search criteria :
Polishability of analytic equivalence relations and generalized Scott analysis
Call: PRELUDIUM 24 , Panel: ST1
Principal investigator: Mateusz Lichman
Politechnika Łódzka
Structural complexity measures for foundational theories
Call: WEAVE-UNISONO , Panel: HS1
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski