The following pages link to A field guide to equational logic (Q1201350):
Displayed 8 items.
- A remark on nonfinitely based semirings. (Q1014259) (← 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)
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES (Q3043639) (← links)
- A NONFINITELY BASED FINITE SEMIRING (Q3502839) (← 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)