scientific article; zbMATH DE number 139988

zbMATH Open0760.68051MaRDI QIDQ4028347FDOQ4028347

Authors: Klaus P. Jantke 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• Deductive and inductive synthesis of equational programs
• scientific article; zbMATH DE number 792049
• scientific article; zbMATH DE number 3896335
• Inductive synthesis of recursive logic programs: achievements and prospects
• Rewriting techniques for program synthesis

zbMATH Keywords

inductive inferenceincomplete equational software specificationspartially automated program synthesis

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cited In (2)

• Term Rewriting and Applications
• Inductive theorem proving for design specifications

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