Pages that link to "Item:Q5551451"
From MaRDI portal
The following pages link to Recursive Functions of One Variable (Q5551451):
Displayed 4 items.
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- General iteration and unary functions (Q1182467) (← links)
- Undecidability and chaos in word-coded symbolic dynamics (Q1346778) (← links)