• 홈
  • loop variant

loop variant

decreasing function used to proof termination of a loop

en-US/ˈlup ˈvɛɹiənt/
en-GB/ˈluːp ˈvɛəɹɪənt/

카테고리:

decreasing function