Projekty finansowane przez NCN
Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności
2013/09/B/ST6/01535
Słowa kluczowe:
logika w informatyce złożoność obliczeniowa rozstrzygalność spełnialność logika deskrypcyjna logika z dwiema zmiennymi
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST6_10: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Konkurs: OPUS 5 - ogłoszony 2013-03-15
Przyznana kwota: 672 512 PLN
Rozpoczęcie projektu: 2014-03-01
Zakończenie projektu: 2018-03-10
Planowany czas trwania projektu: 48 miesięcy (z wniosku)
Status projektu: Projekt rozliczony