Search results

Keywords: logika rozstrzygalność złożoność

Change search criteria ↓

9 projects found matching your search criteria:

1. Automatic reasoning about specifications in simple logics - decidability and complexity issues

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Call: OPUS 5, Panel: ST6
2. Around Modal Logics - Decidability and Complexity

Principal investigator: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Call: PRELUDIUM 2, Panel: ST6
3. Deductive systems and decidability problem for hybrid logics

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Call: PRELUDIUM 1, Panel: HS1
4. A quest for new computer logics

Principal investigator: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Call: OPUS 11, Panel: ST6
5. Everything I know: a syntactical approach to only-knowing

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Call: OPUS 29, Panel: ST6
6. Automation of the Problem of Unification in Description Logics

Principal investigator: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Call: POLONEZ BIS 3, Panel: ST6
7. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Call: OPUS 16, Panel: ST6
8. Analysis of quantitative models of computation

Principal investigator: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Call: SONATA BIS 14, Panel: ST6
9. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Call: OPUS 14, Panel: ST1

Projects search

Search results