Formalization of properties of nondeterministic recursive definitions

DOI10.1016/S0020-0255(80)80016-8MaRDI QIDQ1148668zbMATH OpenFDO

Authors Tsong Yueh Chen

Publication date 1980

Published in Information Sciences (Search for Journal in Brave)

zbMATH Keywords

nondeterministic recursive programsfirst-order formulas

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3551848 (Why is no real title available?)
• scientific article; zbMATH DE number 3351180 (Why is no real title available?)
• scientific article; zbMATH DE number 3415379 (Why is no real title available?)
• Formalization of Properties of Functional Programs
• Formalization of correctness of recursive definitions
• Formalization of equivalence of recursively defined functions
• The correctness of nondeterministic programs

This page was built for publication: Formalization of properties of nondeterministic recursive definitions

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