Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski. Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. In Igor Potapov, Paul G. Spirakis, James Worrell 0001, editors, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK. Volume 117 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

@inproceedings{IdziakKK18,
  title = {Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras},
  author = {Pawel M. Idziak and Piotr Kawalek and Jacek Krzaczkowski},
  year = {2018},
  doi = {10.4230/LIPIcs.MFCS.2018.17},
  url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.17},
  researchr = {https://researchr.org/publication/IdziakKK18},
  cites = {0},
  citedby = {0},
  booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK},
  editor = {Igor Potapov and Paul G. Spirakis and James Worrell 0001},
  volume = {117},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-086-6},
}