scientific article; zbMATH DE number 4125019
From MaRDI portal
Publication:4205083
zbMath0686.68045MaRDI QIDQ4205083
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationabstract data typesmany-sorted algebraGeneralized Church-Turing ThesisHorn clause computability
Artificial intelligence (68T99) Data structures (68P05) General topics in the theory of software (68N01) Algebraic structures (08A99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
Theory of computation over stream algebras, and its applications ⋮ Computability by means of effectively definable schemes and definability via enumerations
This page was built for publication:
