scientific article
From MaRDI portal
Publication:3663528
zbMath0516.20034MaRDI QIDQ3663528
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Construction of decidable singular theories of two successor functions with an extra predicate ⋮ Functions of binary trees and their applications in algorithm complexity analysis