7 projects found matching your search criteria :
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Isomorphism in ellipsis: the challenges of preposition omission
Call: OPUS 24 , Panel: HS2
Principal investigator: dr Marta Ruda
Uniwersytet Jagielloński, Wydział Filologiczny
H-graphs - recognition, isomorphism, and related problems
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Jan Derbisz
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Isomorphisms of Leavitt path algebras preserving their substructures
Call: PRELUDIUM 20 , Panel: ST1
Principal investigator: Anna Cichocka
Politechnika Warszawska
Fourier Analysis and the Theory of Operators.
Call: OPUS 17 , Panel: ST1
Principal investigator: prof. Mieczysław Mastyło
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Geometric and Measured Group Theory 2
Call: HARMONIA 10 , Panel: ST1
Principal investigator: dr Damian Osajda
Instytut Matematyczny Polskiej Akademii Nauk
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Stanisław Szufa
Uniwersytet Jagielloński, Centrum Badań Ilościowych nad Polityką