Pages that link to "Item:Q1966168"
From MaRDI portal
The following pages link to A decidable equational theory with undecidable membership problem for finite algebras (Q1966168):
Displaying 6 items.
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Decidability of equational theories for subsignatures of relation algebra (Q1617808) (← links)
- A residually finite associative algebra with an undecidable word problem (Q2729363) (← links)
- The existence of a near-unanimity term in a finite algebra is decidable (Q3399189) (← links)
- Decision problems for equational theories of relation algebras (Q4338157) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)