scientific article; zbMATH DE number 3970089

MaRDI QIDQ3736890zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

calculus of program equationsmodel subrecursive language of programmingprimitive recursive functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• The problem of equivalence in commutative s-models for programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3736890)