scientific article
From MaRDI portal
Publication:4001132
zbMath0749.68052MaRDI QIDQ4001132
Publication date: 26 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Decidability results for primitive recursive algorithms ⋮ A complete characterization of primitive recursive intensional behaviours ⋮ On the asymptotic behaviour of primitive recursive algorithms ⋮ A unary representation result for system \(T\) ⋮ System \(T\), call-by-value and the minimum problem
This page was built for publication:
