scientific article; zbMATH DE number 3911681

zbMATH Open0571.68006MaRDI QIDQ3687685FDOQ3687685

Authors:

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• An algebraic approach to schemes of structured programs
• scientific article; zbMATH DE number 3936467
• scientific article; zbMATH DE number 3930322
• Reductional programming of functions represented by recurrent relations of the first order
• scientific article; zbMATH DE number 3907742

zbMATH Keywords

primitive recursive functionscalculus of program equationsmodel subrecursive language of programming

Mathematics Subject Classification ID

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

Cited In (2)

• Syntactic properties of the refal language
• Title not available (Why is that?)

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 Q3687685)