The associativity of equivalence and the Towers of Hanoi problem

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

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:	Databases (DB)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 202608