Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras
Tytuł rozdziału:
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras
Tytuł książki:
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
Wydawnictwo:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Rok:
2018
Strony:
17:1-17:15
Tom (seria wydawnicza):
Leibniz International Proceedings in Informatics (LIPIcs)
Numer DOI:
10.4230/LIPIcs.MFCS.2018.17
Link:
http://drops.dagstuhl.de/opus/volltexte/2018/9599/