18y 2,667 Subscriptor++ Nov 25, 2013 #2 Nov 25, 2013 Add bookmark #2 The t=1 case is simply the tautology that the procedure always terminates iff the procedure always terminates. t=1 is always a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results