A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups

Inna Mikhaylova. A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups. Discrete Mathematics & Theoretical Computer Science, 17(3):179-202, 2016. [doi]

Abstract

Abstract is missing.