Pages that link to "Item:Q4154619"
From MaRDI portal
The following pages link to The decision problem for equational bases of algebras (Q4154619):
Displaying 18 items.
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green (Q598306) (← links)
- Unification theory (Q1124375) (← links)
- When is a term point universal? (Q1137137) (← links)
- Structural diversity in the lattice of equational theories (Q1164076) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Base-undecidable properties of universal varieties (Q1237797) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- The reverse spelling of an FPrt-universal word in two letters (Q1272206) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Covering in the lattice of equational theories and some properties of term finite theories (Q1838506) (← links)
- Thue trees (Q1861534) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- (Q3932855) (← links)
- Some Universal Sets of Terms (Q3941407) (← links)
- On the Structure of Equationally Complete Varieties. II (Q3953826) (← links)
- An equational logic sampler (Q5055725) (← links)
- Sets of universal sequences for the symmetric group and analogous semigroups (Q5221335) (← links)