4 projects found matching your search criteria :
Frontiers of tractability for recursive queries
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: WEAVE-UNISONO , Panel: NZ8
Principal investigator: dr Jakub Bubnicki
Instytut Biologii Ssaków Polskiej Akademii Nauk
DATALOG in Constraint Satisfaction Problem
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms
Call: OPUS 19 , Panel: ST6
Principal investigator: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki