Publication:4289139
From MaRDI portal
zbMath0803.68051MaRDI QIDQ4289139
Publication date: 28 April 1994
Related Items
On the asymptotic behaviour of primitive recursive algorithms, Computing minimum with primitive recursion over lists, System \(T\), call-by-value and the minimum problem, The Inf function in the system \(F\), Decidability results for primitive recursive algorithms