Author:
Milius Stefan,Urbat Henning
Publisher
Springer International Publishing
Reference29 articles.
1. Adámek, J., Hébert, M., Sousa, L.: A logic of injectivity. J. Homotopy Relat. Struct. 2(2), 13–47 (2007)
2. Adámek, J., Mekler, A.H., Nelson, E., Reiterman, J.: On the logic of continuous algebras. Notre Dame J. Formal Logic 29(3), 365–380 (1988)
3. Adámek, J., Nelson, E., Reiterman, J.: The Birkhoff variety theorem for continuous algebras. Algebra Univers. 20(3), 328–350 (1985)
4. Cambridge Tracts in Mathematics;J Adámek,2010
5. Almeida, J., Klíma, O.: Towards a pseudoequational proof theory. arXiv preprint
arXiv:1708.09681
(2017)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Discrete equational theories;Mathematical Structures in Computer Science;2024-01-22
2. Eilenberg's variety theorem without Boolean operations;Information and Computation;2022-05
3. Finitary monads on the category of posets;Mathematical Structures in Computer Science;2021-11-26
4. Reiterman’s Theorem on Finite Algebras for a Monad;ACM Transactions on Computational Logic;2021-10-31
5. ALGEBRAIC LANGUAGE THEORY FOR EILENBERG-MOORE ALGEBRAS;LOG METH COMPUT SCI;2021