The associativity of equivalence and the Towers of Hanoi problem

Roland Backhouse, M.M. Fokkinga

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

Abstract

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
Volume77
Issue number2--4
DOIs
Publication statusPublished - Feb 2001

Keywords

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

Cite this