Reiterman's Theorem on Finite Algebras for a Monad

Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat. Reiterman's Theorem on Finite Algebras for a Monad. ACM Trans. Comput. Log., 22(4), 2021. [doi]

Abstract

Abstract is missing.