Publication:4167523
From MaRDI portal
zbMath0386.68007MaRDI QIDQ4167523
Andrzej Salwicki, Tomasz Müldner
Publication date: 1978
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
68W99: Algorithms in computer science
03D60: Computability and recursion theory on ordinals, admissible sets, etc.