Publication:4001132
From MaRDI portal
zbMath0749.68052MaRDI QIDQ4001132
Publication date: 26 September 1992
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On the asymptotic behaviour of primitive recursive algorithms, System \(T\), call-by-value and the minimum problem, Decidability results for primitive recursive algorithms, A unary representation result for system \(T\), A complete characterization of primitive recursive intensional behaviours