| dbo:description
|
- fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition (fr)
- funzioni che possono essere definite applicando un numero finito di volte la ricorsione e la composizione a partire da particolari funzioni base (it)
- funkce, jejíž hodnoty lze spočítat algoritmem obsahujícím cykly jen konečné délky (cs)
- funciones que forman un importante paso en la formalización de la noción de computabilidad (es)
- function that can be computed with loops of bounded length (en)
|
