scientific article; zbMATH DE number 5038471
From MaRDI portal
Publication:5477367
zbMath1116.03037MaRDI QIDQ5477367
Publication date: 3 July 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Computability of analog networks ⋮ Theses for Computation and Recursion on Concrete and Abstract Structures ⋮ Models of computation for partial functions on the reals ⋮ Continuity of operators on continuous and discrete time streams