Pages that link to "Item:Q1119619"

The following pages link to Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619):

Displaying 9 items.

• 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)
• Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
• A sufficient condition for finite decidability (Q1272241) (← links)
• Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
• FAST ISOMORPHISM TESTING IN ARITHMETICAL VARIETIES (Q3043520) (← links)
• A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
• Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)