Pages that link to "Item:Q1617808"
From MaRDI portal
The following pages link to Decidability of equational theories for subsignatures of relation algebra (Q1617808):
Displaying 6 items.
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- (Q3032232) (← links)
- EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (Q3043643) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)