scientific article
From MaRDI portal
Publication:3926040
zbMath0471.68031MaRDI QIDQ3926040
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite elementdomaincomputable functoreffective basisadmissible categoryeffective limit of finite elementseffectively given objects and arrows in a categoryeffectiveness in categoriesinfinite computable element
Data structures (68P05) Special categories (18B99) General topics in the theory of software (68N01) General theory of categories and functors (18A99) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (3)
\(dI\)--domains as prime information systems ⋮ Infinite hypergraphs. I: Basic properties ⋮ Semantics of algorithmic languages
This page was built for publication:
