The associativity of equivalence and the Towers of Hanoi problem

Share/Save/Bookmark

Backhouse, Roland and Fokkinga, Maarten (2001) The associativity of equivalence and the Towers of Hanoi problem. Information Processing Letters, 77 (2-4). pp. 71-76. ISSN 0020-0190

[img]PDF
Restricted to UT campus only
: Request a copy
58Kb
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.
Item Type:Article
Copyright:© 2001 Elsevier Science
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63231
Official URL:http://dx.doi.org/10.1016/S0020-0190(00)00205-2
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 202608