The following pages link to (Q5393802):
Displaying 5 items.
- ND-HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS (Q3006484) (← links)
- Powerset Residuated Algebras and Generalized Lambek Calculus (Q4333470) (← links)
- Semigroups of linear tree languages (Q4562778) (← links)
- A generalized superposition of linear tree languages and products of linear tree languages (Q4578313) (← links)
- (Q4991098) (← links)