Search results
2 projects found matching your search criteria:
-
1. Constraint Satisfaction Problems: beyond the finite case
Principal investigator: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: WEAVE-UNISONO, Panel: ST6
-
2. Formal theories of truth and nonstandard models of arithmetic
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 7, Panel: HS1