Name
Title | ||
|---|---|---|
Relationally defined clones of tree functions closed under selection or primitive recursion |
Abstract | ||
|---|---|---|
We investigate classes of tree functions which are closed under composition and primitive recursion or selection (a restricted form of recursion). The main result is the characterization of those finitary relations ϱ (on the set of all trees of a fixed signature) for which the clone of tree functions preserving ϱ is closed under selection. Moreover, it turns out that such clones are closed also under primitive recursion. |
Year | Venue | Keywords |
|---|---|---|
2004 | Acta Cybern. | main result,restricted form,fixed signature,primitive recursion,finitary relation,tree function |
Field | DocType | Volume |
Discrete mathematics,Combinatorics,Primitive recursive function,Recursion (computer science),Finitary,Mutual recursion,Double recursion,Recursion,Mathematics | Journal | 16 |
Issue | Citations | PageRank |
3 | 0 | 0.34 |
References | Authors | |
3 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Reinhard Pöschel | 1 | 30 | 9.36 |
| Alexander Semigrodskikh | 2 | 0 | 0.34 |
| Heiko Vogler | 3 | 612 | 43.44 |