The associativity of equivalence and the Towers of Hanoi problem

Roland Backhouse, M.M. Fokkinga

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)


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.
Original languageUndefined
Article number10.1016/S0020-0190(00)00205-2
Pages (from-to)71-76
Number of pages6
JournalInformation processing letters
Issue number2--4
Publication statusPublished - Feb 2001


  • IR-63231
  • EWI-6253
  • METIS-202608

Cite this