The associativity of equivalence and the Towers of Hanoi problem

• Authors:

• Roland Backhouse;Maarten Fokkinga

• Affiliations:

• -;-

• Venue:
• Information Processing Letters - Special issue in honor of Edsger W. Dijkstra
• Year:
• 2001