The associativity of equivalence and the Towers of Hanoi problem
From MaRDI portal
Publication:1607084
DOI10.1016/S0020-0190(00)00205-2zbMath1003.68077WikidataQ127846324 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
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
An elementary and unified approach to program correctness, Concrete stream calculus: An extended study
Uses Software
Cites Work