scientific article; zbMATH DE number 559098

zbMath0803.68051MaRDI QIDQ4289139

René David

Publication date: 28 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

primitive recursive algorithmrecursion on listslists of integers

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Data structures (68P05)

Related Items (5)

The Inf function in the system \(F\) ⋮ Decidability results for primitive recursive algorithms ⋮ Computing minimum with primitive recursion over lists ⋮ On the asymptotic behaviour of primitive recursive algorithms ⋮ System \(T\), call-by-value and the minimum problem

This page was built for publication: