Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Algebraic Semantics
Proceedings of the 4th GI-Conference on Theoretical Computer Science
Finitary Observations in Regular Algebras
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Behavioural constructor implementation for regular algebras
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Hi-index | 0.00 |
We characterize the free regular algebra in any variety of regular algebras as a factor algebra and prove that no similar characterization can be obtained for varieties of iterative or continuous algebras.