Dijkstra and Scholten have argued that greater use should be made of the associativity of equivalence. This note shows how the property is used in specifying the rotation of the disks in the well-known Towers of Hanoi problem.
|Number of pages||6|
|Journal||Information processing letters|
|Publication status||Published - Feb 2001|