Equational axiomatization of algebras with structure
From MaRDI portal
(Redirected from Publication:2289091)
Recommendations
- From equational specifications of algebras with structure to varieties of data languages (invited paper)
- An equational metalogic for monadic equational systems
- Equational axiomatizability for coalgebra
- scientific article; zbMATH DE number 7297850
- On the construction of free algebras for equational systems
Cited in
(21)- On the construction of free algebras for equational systems
- Axiomatization of identity-free equations valid in relation algebras
- On language varieties without Boolean operations
- scientific article; zbMATH DE number 7350772 (Why is no real title available?)
- Finitary monads on the category of posets
- scientific article; zbMATH DE number 7523908 (Why is no real title available?)
- scientific article; zbMATH DE number 7561623 (Why is no real title available?)
- An axiomatic approach to algebrization
- Regular tree algebras
- From equational specifications of algebras with structure to varieties of data languages (invited paper)
- Discrete equational theories
- Eilenberg's variety theorem without Boolean operations
- Varieties of quantitative algebras and their monads
- Beyond nonexpansive operations in quantitative algebraic reasoning
- Algebraic reasoning over relational structures
- Towards enriched universal algebra
- Extended Stone duality via monoidal adjunctions
- Which categories are varieties of quantitative algebras?
- Relativized universal algebra via partial Horn logic
- Quantitative monoidal algebra: axiomatising distance with string diagrams
- Compact quantitative theories of convex algebras
This page was built for publication: Equational axiomatization of algebras with structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289091)
