4 projects found matching your search criteria :
Frontiers of tractability for recursive queries
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: BiodivMon , 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 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 Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki