Pages that link to "Item:Q4024646"
From MaRDI portal
The following pages link to SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES (Q4024646):
Displaying 8 items.
- Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- On Solvable Congruences in Finitely Decidable Varieties (Q4304097) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable (Q4323828) (← links)
- On the Direct Decomposition of Nilpotent Expanded Groups (Q5412104) (← links)
- Term Rewriting and Applications (Q5703857) (← links)