Pages that link to "Item:Q3693502"

The following pages link to Decidable properties of finite sets of equations in trivial languages (Q3693502):

Displaying 2 items.

• Covering relation in the language of mono-unary algebras with at most one constant symbol (Q1121932) (← links)
• Decision problems concerning properties of finite sets of equations (Q3717106) (← links)