Sums of ceiling functions solve nested recursions (Q4899090)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6122143
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sums of ceiling functions solve nested recursions |
scientific article; zbMATH DE number 6122143 |
Statements
Sums of ceiling functions solve nested recursions (English)
0 references
4 January 2013
0 references
nested recursion
0 references
ceiling function
0 references
formal satisfaction
0 references
equivalence class
0 references
0.8428612351417542
0 references
0.776801586151123
0 references
0.7732204794883728
0 references
0.7571452856063843
0 references
0.7546117305755615
0 references
