parametry modeli skończonych
2012/07/D/ST6/02435
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)
Liczba wykonawców projektu: 1
Konkurs
SONATA 4 – ogłoszony 2012-09-15
- Przyznana kwota
- 117 150 PLN
- Rozpoczęcie projektu
- 2013-07-12
- Zakończenie projektu
- 2016-07-11
- Planowany czas trwania projektu
- 36 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- laptop. Za kwotę 6 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (4)
-
On the variable hierarchy of first-order spectra
- Autorzy:
- Eryk Kopczyński, Tony Tan
- Czasopismo:
- ACM Transactions on Computational Logic (rok: 2015, tom: 16 (2), strony: 17:1--17:12), Wydawca: Association for Computing Machinery
- Status:
- Opublikowana
- DOI:
- 10.1145/2733376 – link do publikacji
-
Bounded Degree and Planar Spectra
- Autorzy:
- Anuj Dawar, Eryk Kopczyński
- Czasopismo:
- Logical Methods of Computer Science (rok: 2017, tom: 0,544444444444444, strony: -), Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
- Status:
- Opublikowana
- DOI:
- 10.23638/LMCS-13(4:6)2017 – link do publikacji
-
Complexity of Problems of Commutative Grammars
- Autorzy:
- Eryk Kopczyński
- Czasopismo:
- Logical Methods in Computer Science (rok: 2015, tom: 11, strony: -), Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
- Status:
- Opublikowana
- DOI:
- 10.2168/LMCS-11(1:9)2015 – link do publikacji
-
Regular Graphs and the Spectra of Two-Variable Logic with Counting
- Autorzy:
- Eryk Kopczyński, Tony Tan
- Czasopismo:
- SIAM Journal on Computing (SICOMP) (rok: 2015, tom: 44 (3), strony: 786–818), Wydawca: Society for Industrial and Applied Mathematics
- Status:
- Opublikowana
- DOI:
- 10.1137/130943625 – link do publikacji
Teksty w publikacjach pokonferencyjnych (1)
-
Locally Finite Constraint Satisfaction Problems.
- Autorzy:
- Bartek Klin, Eryk Kopczyński, Joanna Ochremiak, Szymon Toruńczyk
- Konferencja:
- 30th Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS) (rok: 2015, strony: 475--486), Wydawca: IEEE
- Data:
- konferencja July 6-10, 2015
- Status:
- Opublikowana