The following pages link to A field guide to equational logic (Q1201350):
Displaying 10 items.
- Finitely generated equational classes (Q258136) (← links)
- Power semigroups of finite groups and the INFB property. (Q607456) (← links)
- A remark on nonfinitely based semirings. (Q1014259) (← links)
- The finite basis problem for endomorphism semirings of finite semilattices with zero. (Q1047111) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
- An algebraic theory of clones (Q2120441) (← links)
- Varieties of regular semigroups with uniquely defined inversion (Q2178386) (← links)
- On identities of finite involution semigroups. (Q2267781) (← links)
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES (Q3043639) (← links)
