Projekty finansowane przez NCN
Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.
2012/07/N/ST6/03398
Słowa kluczowe:
systemy wspomagania dowodzenia illatywna logika kombinatoryczna weryfikacja programów
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_1: Logika i podstawy matematyki
- ST1_15: Matematyczne aspekty informatyki
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Konkurs: PRELUDIUM 4 - ogłoszony 2012-09-15
Przyznana kwota: 86 600 PLN
Rozpoczęcie projektu: 2013-07-11
Zakończenie projektu: 2016-01-10
Planowany czas trwania projektu: 30 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Zakupiona aparatura
- komputer przenośny. Za kwotę 6 000 PLN
Dane z raportu końcowego/rocznego
- Teksty w publikacjach pokonferencyjnych (3)
- A coinductive confluence proof for infinitary lambda-calculus.Autorzy:Łukasz CzajkaKonferencja:RTA-TLCA 2014 (rok: 2014, ), Wydawca: SpringerData:konferencja 14-17.07.2014Status:Opublikowana
- Confluence of an extension of Combinatory Logic by Boolean constantsAutorzy:Łukasz CzajkaKonferencja:FSCD 2017 (rok: 2017, ), Wydawca: LIPIcsData:konferencja 03.09-09.09Status:Opublikowana
- Confluence of nearly orthogonal infinitary term rewriting systemsAutorzy:Łukasz CzajkaKonferencja:RTA 2015 (rok: 2015, ), Wydawca: LIPIcsData:konferencja 29.06.2015-01.07.2015Status:Opublikowana