Derivation of efficient programs for computing sequences of actions (Q1093362)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Derivation of efficient programs for computing sequences of actions |
scientific article |
Statements
Derivation of efficient programs for computing sequences of actions (English)
0 references
1987
0 references
See the review of the preliminary version [Lect. Notes Comput. 214, 127- 141 (1986)] in Zbl 0589.68010.
0 references
elementary actions
0 references
on-line behaviour
0 references
Towers of Hanoi
0 references
transformation rules
0 references