Merkliste 
 1 Ergebnisse 
 
1

Reiterman's Theorem on Finite Algebras for a Monad:

Adámek, Jiří ; Chen, Liang-Ting ; Milius, Stefan.
ACM Transactions on Computational Logic.  22 (2021)  4 - p. 1-48 , 2021