scientific article; zbMATH DE number 3787987

MaRDI QIDQ3965549zbMATH OpenFDO

Authors R. Geoff Dromey

Publication date 1982

zbMATH Keywords

verificationalgorithmsPascal

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Algorithms in computer science (68W99)

Cited in

(6)

• The Generalized Towers of Hanoi Problem
• A generalization of the cyclic towers of hanoi: an iterative solution
• K-M-P string matching revisited
• An elementary and unified approach to program correctness
• Heuristics for minimizing mean tardiness form parallel machines
• An iterative solution to the generalized Towers of Hanoi problem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3965549)