Extraction of a program from deduction and its regularity. I

DOI10.1007/BF01075120zbMath0595.03055MaRDI QIDQ3726113

A. Tauts

Publication date: 1985

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

recursionintuitionistic logicprogram synthesis

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Formal deduction with transfinite induction and its transformation for easier program synthesis
• Toward automatic program synthesis

This page was built for publication: Extraction of a program from deduction and its regularity. I