A recursion planning analysis of inductive completion

DOI10.1007/BF01530798zbMath0998.68547OpenAlexW1994044635MaRDI QIDQ1353935

Jane Hesketh, David A. Basin, Richard C. Barnett

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

Mathematics Subject Classification ID

Uses Software

• InKa
• CLAM

Cites Work

• Rippling: A heuristic for guiding inductive proofs
• Proofs by induction in equational theories with constructors
• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item

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