Un algorithme primitif récursif pour la fonction Inf
Résumé
We give a primitive recursive algorithm (for the structure of integers - in unary - and lists of integers ) that computes the minimum of two integers in linear time of this minimum. This algorithm refutes a conjecture of L.Colson
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |