Publication:3853107
From MaRDI portal
zbMath0419.68029MaRDI QIDQ3853107
Publication date: 1979
algebraic specification; abstract data structures; hidden functions; computable and semicomputable algebras; hidden sorts
68P05: Data structures
03D80: Applications of computability and recursion theory
03D45: Theory of numerations, effectively presented structures
Related Items
A simple transfer lemma for algebraic specifications, Characterizing specification languages which admit initial semantics, Partial evaluation and \(\omega\)-completeness of algebraic specifications, Crypt-equivalent algebraic specifications, Algebraic specifications of computable and semicomputable data types, Algebras with finitely approximable positively representable enrichments, On a conjecture of Bergstra and Tucker, Recursive unary algebras and trees, The data type variety of stack algebras, On algebraic specifications of computable algebras with the discriminator technique, Unnamed Item