TY - GEN
AU - Adámek, Jiří
AU - Chen, Liang-Ting
AU - Milius, Stefan
AU - Urbat, Henning
TI - Reiterman’s Theorem on Finite Algebras for a Monad
PB - Association for Computing Machinery (ACM)
SN - 1529-3785
SN - 1557-945X
KW - Computational Mathematics
KW - Logic
KW - General Computer Science
KW - Theoretical Computer Science
PY - 2021
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation