The associativity of equivalence and the Towers of Hanoi problem

Roland Backhouse; Maarten Fokkinga

doi:10.1016/S0020-0190(00)00205-2

The associativity of equivalence and the Towers of Hanoi problem

Roland Backhouse, Maarten Fokkinga

Databases (Former)

Research output: Contribution to journal › Article › Academic › peer-review

7 Citations (Scopus)

7 Downloads (Pure)

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 language	English
Pages (from-to)	71-76
Number of pages	6
Journal	Information processing letters
Volume	77
Issue number	2-4
DOIs	https://doi.org/10.1016/S0020-0190(00)00205-2
Publication status	Published - Feb 2001

Access to Document

10.1016/S0020-0190(00)00205-2

Cite this

@article{31c4a73503e04361b2eaf725fb26c832,

title = "The associativity of equivalence and the Towers of Hanoi problem",

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.",

author = "Roland Backhouse and Maarten Fokkinga",

note = "Imported from EWI/DB PMS [db-utwente:arti:0000002042]",

year = "2001",

month = feb,

doi = "10.1016/S0020-0190(00)00205-2",

language = "English",

volume = "77",

pages = "71--76",

journal = "Information processing letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "2-4",

}

TY - JOUR

T1 - The associativity of equivalence and the Towers of Hanoi problem

AU - Backhouse, Roland

AU - Fokkinga, Maarten

N1 - Imported from EWI/DB PMS [db-utwente:arti:0000002042]

PY - 2001/2

Y1 - 2001/2

N2 - 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.

AB - 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.

U2 - 10.1016/S0020-0190(00)00205-2

DO - 10.1016/S0020-0190(00)00205-2

M3 - Article

SN - 0020-0190

VL - 77

SP - 71

EP - 76

JO - Information processing letters

JF - Information processing letters

IS - 2-4

ER -

The associativity of equivalence and the Towers of Hanoi problem

Abstract

Access to Document

Fingerprint

Cite this