Jagiellonian University Repository

Expressive power, satisfiability and equivalence of circuits over nilpotent algebras

Expressive power, satisfiability and equivalence of ...

Show full item record

dc.contributor.author Idziak, Paweł [SAP11010470] pl
dc.contributor.author Kawałek, Piotr [USOS159445] pl
dc.contributor.author Krzaczkowski, Jacek [SAP14020272] pl
dc.contributor.editor Potapov, Igor pl
dc.contributor.editor Spirakis, Paul pl
dc.contributor.editor Worrell, James pl
dc.date.accessioned 2018-09-14T13:07:32Z
dc.date.available 2018-09-14T13:07:32Z
dc.date.issued 2018 pl
dc.identifier.isbn 978-3-95977-086-6 pl
dc.identifier.uri https://ruj.uj.edu.pl/xmlui/handle/item/56996
dc.language eng pl
dc.rights Dodaję tylko opis bibliograficzny *
dc.rights.uri *
dc.title Expressive power, satisfiability and equivalence of circuits over nilpotent algebras pl
dc.type BookSection pl
dc.pubinfo Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik pl
dc.subject.en circuit satisfiability pl
dc.subject.en Constraint Satisfaction Problem pl
dc.subject.en solving equations pl
dc.subject.en structure theory pl
dc.description.series LIPIcs - Leibniz International Proceedings in Informatics, ISSN 1868-8969; 117 pl
dc.description.volume 117 pl
dc.description.publication 1,2 pl
dc.description.conftype international pl
dc.identifier.doi 10.4230/LIPIcs.MFCS.2018.17 pl
dc.title.container 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) pl
dc.language.container eng pl
dc.affiliation Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej pl
dc.subtype ConferenceProceedings pl
dc.conference 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018); 2018-08-27; 2018-08-31; Liverpool; Wielka Brytania; ; indeksowana w Scopus ; pl
dc.identifier.articleid 17 pl
dc.rights.original CC-BY; inne; ostateczna wersja wydawcy; w momencie opublikowania; 0 pl
dc.identifier.project 2014/14/A/ST6/00138 pl
dc.identifier.project ROD UJ / P pl


Files in this item

This item appears in the following Collection(s)