Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Granice obliczalności dla zapytań rekurencyjnych

2013/09/N/ST6/01170

Słowa kluczowe:

złożoność logika datalog xml drzewa

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Filip 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ęcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer stacjonarny. Za kwotę 4 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (4)
  1. 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
    Doi:
    brak - link do publikacji
  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
    Doi:
    brak - link do publikacji
  1. Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata
    Autorzy:
    Filip Mazowiecki, Cristian Riveros
    Konferencja:
    CSL (rok: 2015, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 7-10.9.2015
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Decidability of weak logics with deterministic transitive closure
    Autorzy:
    Witold Charatonik, Emanuel Kieroński, Filip Mazowiecki
    Konferencja:
    CSL-LICS (rok: 2014, ), Wydawca: ACM
    Data:
    konferencja Lipiec 14 - 18, 2014
    Status:
    Opublikowana
  3. Eliminating Recursion from Monadic Datalog Programs on Trees
    Autorzy:
    Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
    Konferencja:
    MFCS (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 24-28.08.2015
    Status:
    Opublikowana
    Doi:
    link do publikacji
  4. Monadic Datalog and Regular Tree Pattern Queries
    Autorzy:
    Filip Mazowiecki, Filip Murlak, Adam Witkowski
    Konferencja:
    MFCS (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja Sierpień 25-29
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy