Nie jesteś zalogowany |
Powrót do listy grantów
Granice obliczalności dla zapytań rekurencyjnych
- Kierownik
- dr Katarzyna Mazowiecka
- Numer umowy
- 2013/09/N/ST6/01170
- Data rozpoczęcia
- 21 lutego 2014
- Data zakończenia
- 20 lutego 2016
- Finansowany przez
- Narodowe Centrum Nauki
- Wykonawcy
- dr Filip Murlak, mgr Adam Witkowski
- Słowa kluczowe
- złożoność, logika, datalog, xml, drzewa
