Publication:4772159
From MaRDI portal
zbMath0284.68011MaRDI QIDQ4772159
Publication date: 1973
68N01: General topics in the theory of software
Related Items
Nonexistence of program optimizers in several abstract settings, Extensions of rooted trees and their applications, Axiomatizing geometric constructions