Publication:4167523

From MaRDI portal
Revision as of 12:19, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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.