Pages that link to "Item:Q3815356"

The following pages link to Decidability problem for finite Heyting algebras (Q3815356):

Displayed 8 items.

• The decidability of some classes of Stone algebras (Q412007) ‎ (← 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)
• Varieties with decidable finite algebras. I: Linearity (Q1124620) ‎ (← links)
• A sufficient condition for finite decidability (Q1272241) ‎ (← links)
• Characteristic formulas of partial Heyting algebras (Q2392011) ‎ (← links)
• On decidable varieties of Heyting algebras (Q4032876) ‎ (← links)
• Constant-Query Testability of Assignments to Constraint Satisfaction Problems (Q5232319) ‎ (← links)