The following pages link to (Q3115606):
Displaying 4 items.
- Bounded prefix concatenation operation and finite bases with respect to the superposition (Q1744291) (← links)
- Arithmetization of register machines with counters (Q2212730) (← links)
- On the operations of bounded suffix summation and multiplication (Q5374010) (← links)
- On the universality of product for classes of linear functions of two variables (Q6051970) (← links)