Derivation of efficient programs for computing sequences of actions (Q1093362)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Derivation of efficient programs for computing sequences of actions |
scientific article; zbMATH DE number 4022614
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Derivation of efficient programs for computing sequences of actions |
scientific article; zbMATH DE number 4022614 |
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
