Pages that link to "Item:Q795856"
From MaRDI portal
The following pages link to A new product of algebras and a type reduction theorem (Q795856):
Displayed 13 items.
- Basic questions for general algebras (Q797614) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Universal algebras (Q1173984) (← links)
- A field guide to equational logic (Q1201350) (← links)
- A perspective on algebraic representations of lattices (Q1327459) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- Finite axiomatizability of congruence rich varieties (Q1902530) (← links)
- Quasi-identities of finite semigroups and symbolic dynamics (Q1905790) (← links)
- Congruences, equational theories and lattice representations (Q1922118) (← links)
- Equational theories of semigroups with involution. (Q1946106) (← links)
- Finite axiomatizability for equational theories of computable groupoids (Q3470464) (← links)
- The Fraser-Horn and Apple Properties (Q3770588) (← links)
- An equational logic sampler (Q5055725) (← links)