The following pages link to (Q3030811):
Displaying 6 items.
- On the power of recursive word-functions without concatenation (Q2112176) (← links)
- (Q3979275) (← links)
- On a theorem of Günter Asser (Q4205427) (← links)
- (Q4231601) (← links)
- On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions (Q5060069) (← links)
- Unary primitive recursive functions (Q5502807) (← links)