Wyniki wyszukiwania
Znaleziono 20 projektów spełniających kryteria wyszukiwania:
-
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Konkurs: OPUS 16, panel: ST6
-
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Konkurs: OPUS 5, panel: ST6
-
3. Granice rozstrzygalności w teorii automatów
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
4. Wokół logik modalnych - rozstrzygalność i złożoność
Kierownik: Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 2, panel: ST6
-
5. Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
Kierownik: dr Włodzimierz Krzysztof Moczurad
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
7. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
Kierownik: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: PRELUDIUM 1, panel: HS1
-
Kierownik: prof. Rafał Artur Bartoszewski
Uniwersytet Wrocławski, Wydział Biotechnologii
Konkurs: OPUS 19, panel: NZ3
-
9. W poszukiwaniu nowych logik komputerowych
Kierownik: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 11, panel: ST6
-
10. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Konkurs: OPUS 29, panel: ST6
-
11. Analiza ilościowych modeli obliczeniowych
Kierownik: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Konkurs: SONATA BIS 14, panel: ST6
-
12. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Kierownik: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Konkurs: PRELUDIUM 23, panel: ST6
-
13. Automation of the Problem of Unification in Description Logics
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Konkurs: POLONEZ BIS 3, panel: ST6
-
14. Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 6, panel: ST6
-
15. Wydajne algorytmy dla słabych form niedeterminizmu
Kierownik: dr hab. Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
16. Automaty z wagami dla własności kwantytatywnych
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
17. Budżetowanie partycypacyjne - sukces czy kryzys demokracji lokalnej? Studium prawnoporównawcze
Kierownik: dr Urszula Kinga Zawadzka-Pąk
Uniwersytet w Białymstoku, Wydział Prawa
Konkurs: SONATA 8, panel: HS5
-
18. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Kierownik: prof. Paweł Maria Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: MAESTRO 6, panel: ST6
-
19. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 14, panel: ST1
-
20. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych
Kierownik: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: OPUS 13, panel: HS1