Pages that link to "Item:Q1098833"
From MaRDI portal
The following pages link to Undecidability of free pseudo-complemented semilattices (Q1098833):
Displaying 5 items.
- Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring (Q764364) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
- Undecidability of Brouwerian semilattices (Q1821098) (← links)
- (Q4285797) (← links)