The associativity of equivalence and the Towers of Hanoi problem
type: Item
instance of: scholarly article
title: The associativity of equivalence and the Towers of Hanoi problem
zbMATH Open document ID: 1003.68077
DOI: 10.1016/S0020-0190(00)00205-2
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 1771789
zbMATH Keywords: Towers of Hanoi
author: Roland C. Backhouse
author: Maarten M. Fokkinga
describes a project that uses: CalcCheck
MaRDI profile type: Publication
cites work: The Towers of Hanoi Problem
cites work: Q4692630
cites work: Q4846258
cites work: A deficiency of natural deduction
full work available at URL: s0020-0190(00)00205-2
OpenAlex ID: W1989246966
Wikidata QID: Q127846324
Recommended article: Q3838151
Recommended article: A note on parallelism for the towers of Hanoi
Recommended article: Hamiltonianicity of the towers of Hanoi problem
Recommended article: Developments in Language Theory
Recommended article: The Generalized Towers of Hanoi Problem
Recommended article: On the Frame--Stewart Conjecture about the Towers of Hanoi
Recommended article: Q4949857
Recommended article: Q4233339
Recommended article: Q3758856
description: scientific article; zbMATH DE number 1771789