3 projects found matching your search criteria :
New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making
Call: OPUS 4 , Panel: HS1
Principal investigator: prof. Jan Hertrich-Woleński
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych
Algebraic effects: composition and coinduction
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 14 , Panel: NZ9
Principal investigator: Joanna Maj-Paluch
Państwowy Instytut Weterynaryjny - Państwowy Instytut Badawczy