Publication:3216134
From MaRDI portal
zbMath0553.68024MaRDI QIDQ3216134
Publication date: 1984
nondeterminism; structural completeness; Post completeness; extension of algorithmic logic; program substitution operator
03B60: Other nonclassical logic
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software