Publication:4139646
From MaRDI portal
zbMath0364.68019MaRDI QIDQ4139646
Publication date: 1976
68N01: General topics in the theory of software
Related Items
Varieties of chain-complete algebras, On some classes of interpretations, Program transformations and algebraic semantics, Recursion induction principle revisited, Unnamed Item, Unnamed Item