The following pages link to A field guide to equational logic (Q1201350):
Displaying 16 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)
- A NONFINITELY BASED FINITE SEMIRING (Q3502839) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- The existence of finitely based lower covers for finitely based equational theories (Q4876322) (← links)
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722) (← links)
- Finite bases for flat graph algebras (Q5956274) (← links)
