Granice obliczalności dla zapytań rekurencyjnych
2013/09/N/ST6/01170
Słowa kluczowe
Deskryptory
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
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
Kierownik projektu (z jednostki realizującej)
dr Filip Aleksander Mazowiecki
Liczba wykonawców projektu: 3
Konkurs
PRELUDIUM 5 – ogłoszony 2013-03-15
- Przyznana kwota
- 96 300 PLN
- Rozpoczęcie projektu
- 2014-02-21
- Zakończenie projektu
- 2016-02-20
- Planowany czas trwania projektu
- 24 miesiące (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Komputer stacjonarny. Za kwotę 4 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (2)
-
Monadic datalog and regular tree pattern queries
- Autorzy:
- Filip Mazowiecki, Filip Murlak, Adam Witkowski
- Czasopismo:
- ACM Transactions on Database Systems (TODS) (rok: 2016, tom: 41, strony: 20:1--20:43), Wydawca: ACM
- Status:
- Opublikowana
-
Complexity of Two-variable Logic on Finite Trees
- Autorzy:
- Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
- Czasopismo:
- ACM Transactions on Computational Logic (TOCL) (rok: 2016, tom: 17, strony: 32:1--32:38), Wydawca: ACM
- Status:
- Opublikowana
Teksty w publikacjach pokonferencyjnych (4)
-
Eliminating Recursion from Monadic Datalog Programs on Trees
- Autorzy:
- Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
- Konferencja:
- MFCS (rok: 2015, strony: 394-406), Wydawca: Springer
- Data:
- konferencja 24-28.08.2015
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata
- Autorzy:
- Filip Mazowiecki, Cristian Riveros
- Konferencja:
- CSL (rok: 2015, strony: 144-159), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Data:
- konferencja 7-10.9.2015
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Monadic Datalog and Regular Tree Pattern Queries
- Autorzy:
- Filip Mazowiecki, Filip Murlak, Adam Witkowski
- Konferencja:
- MFCS (rok: 2014, strony: 426--437), Wydawca: Springer
- Data:
- konferencja Sierpień 25-29
- Status:
- Opublikowana
-
Decidability of weak logics with deterministic transitive closure
- Autorzy:
- Witold Charatonik, Emanuel Kieroński, Filip Mazowiecki
- Konferencja:
- CSL-LICS (rok: 2014, strony: 29-38), Wydawca: ACM
- Data:
- konferencja Lipiec 14 - 18, 2014
- Status:
- Opublikowana