Formal deduction with transfinite induction and its transformation for easier program synthesis

DOI10.1007/BF01068481zbMath0564.68024MaRDI QIDQ3678663

A. Tauts

Publication date: 1984

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

program synthesistransfinite inductioninduction on an arbitrary well- founded binary relation

Mathematics Subject Classification ID

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

Related Items (1)

Extraction of a program from deduction and its regularity. I

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Formal deduction with transfinite induction and its transformation for easier program synthesis