Formalization of properties of nondeterministic recursive definitions

DOI10.1016/S0020-0255(80)80016-8zbMath0452.68041MaRDI QIDQ1148668

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

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

Cites Work

• Formalization of equivalence of recursively defined functions
• The correctness of nondeterministic programs
• Formalization of correctness of recursive definitions
• Formalization of Properties of Functional Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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