3 projects found matching your search criteria :
Call: PRELUDIUM 23 , Panel: HS1
Principal investigator: Zuzanna Anna Jusińska
Uniwersytet Warszawski
Decision Problems for Logics with Weak Forms of Recursion
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Call: OPUS 10 , Panel: HS1
Principal investigator: dr hab. Tomasz Dariusz Jarmużek
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Humanistyczny