Merkliste 
 1 Ergebnisse 
 
1

A Sharp Phase Transition Threshold for Elementary Descent R..:

den Boer, A. ; Weiermann, A.
Journal of Logic and Computation.  17 (2007)  6 - p. 1083-1098 , 2007