Sums of ceiling functions solve nested recursions (Q4899090)
From MaRDI portal
scientific article; zbMATH DE number 6122143
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
