SUCCINCT ITERATIVE CHARACTERIZATIONS OF PRIMITIVE COMPUTABLE UNARY FUNCTIONS

Authors
MAZZANTI S
Citation
S. Mazzanti, SUCCINCT ITERATIVE CHARACTERIZATIONS OF PRIMITIVE COMPUTABLE UNARY FUNCTIONS, Information processing letters, 56(6), 1995, pp. 315-319
Citations number
13
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
56
Issue
6
Year of publication
1995
Pages
315 - 319
Database
ISI
SICI code
0020-0190(1995)56:6<315:SICOPC>2.0.ZU;2-E
Abstract
Primitive computable unary functions are useful patterns for the defin ition of for-do programs and are characterized as the closure of four simple unary functions with respect to composition and primitive itera tion.