scientific article; zbMATH DE number 3845028

MaRDI QIDQ3314967zbMATH OpenFDO

Authors Nikolay N. Nepeivoda, D. I. Sviridenko

Publication date 1982

zbMATH Keywords

decidabilitydeductive synthesis

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Models of other mathematical theories (03C65) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3934387
• Deductive and inductive synthesis of equational programs
• Publication:5751976
• Deductive synthesis of sorting programs
• scientific article; zbMATH DE number 792049

Cited in

(10)

• Program synthesis using realizability
• A theory for deductive synthesis of algorithms in the computing milieu
• Logic production systems: Analysis and synthesis
• Grigori Mints and computer science
• Formal deduction with transfinite induction and its transformation for easier program synthesis
• scientific article; zbMATH DE number 3934386 (Why is no real title available?)
• scientific article; zbMATH DE number 3934387 (Why is no real title available?)
• scientific article; zbMATH DE number 4020482 (Why is no real title available?)
• scientific article; zbMATH DE number 4049000 (Why is no real title available?)
• A practical theory of programming

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