The associativity of equivalence and the Towers of Hanoi problem

DOI10.1016/S0020-0190(00)00205-2zbMath1003.68077OpenAlexW1989246966WikidataQ127846324 ScholiaQ127846324MaRDI QIDQ1607084

Roland C. Backhouse, Maarten M. Fokkinga

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00205-2

zbMATH Keywords

Towers of Hanoi

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (2)

An elementary and unified approach to program correctness ⋮ Concrete stream calculus: An extended study

Uses Software

• CalcCheck

Cites Work

• Unnamed Item
• Unnamed Item
• A deficiency of natural deduction
• The Towers of Hanoi Problem

This page was built for publication: The associativity of equivalence and the Towers of Hanoi problem