On primitive recursive wordfunctions

From MaRDI portal
Publication:1221752