The following pages link to (Q2776813):
Displayed 4 items.
- Arithmetization of register machines with counters (Q2212730) (← links)
- Generating some classes of recursive functions by superpositions of simple arithmetic functions (Q2377524) (← links)
- New substitution bases for complexity classes (Q5112387) (← links)
- Operation of bound prefix concatenation and finite superposition bases (Q6043893) (← links)