Merkliste 
 1 Ergebnisse 
 
1

Computing minimum with primitive recursion over lists:

Fredholm, Daniel
Theoretical Computer Science.  163 (1996)  1-2 - p. 269-276 , 1996