Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

parameters of finite models

2012/07/D/ST6/02435

Keywords:

finite model theory logics algorithmics complexity theory graph parameters spectra Parikh images random graphs

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Eryk Kopczyński 

Number of co-investigators in the project: 1

Call: SONATA 4 - announced on 2012-09-15

Amount awarded: 117 150 PLN

Project start date (Y-m-d): 2013-07-12

Project end date (Y-m-d): 2016-07-11

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. laptop (6 000 PLN)

Information in the final report

  • Publication in academic press/journals (5)
  • Articles in post-conference publications (1)
  1. Complexity of Problems of Commutative Grammars
    Authors:
    Eryk Kopczyński
    Academic press:
    Logical Methods in Computer Science (rok: 2015, tom: 11, strony: -), Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
    Status:
    Published
    DOI:
    10.2168/LMCS-11(1:9)2015 - link to the publication
  2. Bounded Degree and Planar Spectra
    Authors:
    Anuj Dawar, Eryk Kopczyński
    Academic press:
    Logical Methods of Computer Science (rok: 2017, tom: 0,544444444444444, strony: -), Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
    Status:
    Published
    DOI:
    10.23638/LMCS-13(4:6)2017 - link to the publication
  3. On the variable hierarchy of first-order spectra
    Authors:
    Eryk Kopczyński, Tony Tan
    Academic press:
    ACM Transactions on Computational Logic (rok: 2015, tom: 16 (2), strony: 17:1--17:12), Wydawca: Association for Computing Machinery
    Status:
    Published
    DOI:
    10.1145/2733376 - link to the publication
  4. Regular Graphs and the Spectra of Two-Variable Logic with Counting
    Authors:
    Eryk Kopczyński, Tony Tan
    Academic press:
    SIAM Journal on Computing (SICOMP) (rok: 2015, tom: 44 (3), strony: 786–818), Wydawca: Society for Industrial and Applied Mathematics
    Status:
    Published
    DOI:
    10.1137/130943625 - link to the publication
  5. Logical properties of random graphs from small addable classes
    Authors:
    Anuj Dawar, Eryk Kopczyński
    Academic press:
    Logical Methods in Computer Science , Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
    Status:
    Submitted
    DOI:
    brak - link to the publication
  1. Locally Finite Constraint Satisfaction Problems.
    Authors:
    Bartek Klin, Eryk Kopczyński, Joanna Ochremiak, Szymon Toruńczyk
    Conference:
    30th Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS) (rok: 2015, ), Wydawca: IEEE
    Data:
    konferencja July 6-10, 2015
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy