A recursion planning analysis of inductive completion

DOI10.1007/BF01530798MaRDI QIDQ1353935zbMATH OpenOpenAlexFDO

Authors Jane Hesketh, Richard C. Barnett, David Basin

Publication date 12 May 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01530798, http://hdl.handle.net/11858/00-001M-0000-0014-B1E2-2

Mathematics Subject Classification ID

Cites work

• A Transformation System for Developing Recursive Programs
• Difference matching
• scientific article; zbMATH DE number 3956434 (Why is no real title available?)
• scientific article; zbMATH DE number 4074541 (Why is no real title available?)
• Proofs by induction in equational theories with constructors
• Rippling: A heuristic for guiding inductive proofs

Describes a project that uses

Uses Software

• CLAM
• InKa

This page was built for publication: A recursion planning analysis of inductive completion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1353935)