Pages that link to "Item:Q4304097"
From MaRDI portal
The following pages link to On Solvable Congruences in Finitely Decidable Varieties (Q4304097):
Displaying 8 items.
- Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- A property of the solvable radical in finitely decidable varieties (Q2773238) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES (Q4024646) (← links)
- (Q4349578) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)