scientific article
From MaRDI portal
Publication:3115606
zbMath1249.03079MaRDI QIDQ3115606
Publication date: 10 February 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Computable structure theory, computable model theory (03C57)
Related Items (4)
On the universality of product for classes of linear functions of two variables ⋮ On the operations of bounded suffix summation and multiplication ⋮ Arithmetization of register machines with counters ⋮ Bounded prefix concatenation operation and finite bases with respect to the superposition
This page was built for publication:
