Pages that link to "Item:Q1124620"
From MaRDI portal
The following pages link to Varieties with decidable finite algebras. I: Linearity (Q1124620):
Displaying 6 items.
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Varieties with decidable finite algebras. II: Permutability (Q1124621) (← links)
- A sufficient condition for finite decidability (Q1272241) (← links)
- Pseudovarieties of associative rings: Congruence-linearity and decidability (Q1910271) (← links)
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES (Q4024646) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)