The following pages link to (Q4793200):
Displaying 7 items.
- The semantical kernel of a generalized hypersubstitution (Q1879108) (← links)
- Semigroup properties of linear terms (Q2979781) (← links)
- (Q2999597) (← links)
- The semantical hyperunification problem (Q4537493) (← links)
- Semigroups of an inductive composition of terms (Q5064386) (← links)
- (Q5127300) (← links)
- The semigroup of linear terms (Q5243692) (← links)