Pages that link to "Item:Q674399"

The following pages link to A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure (Q674399):

Displaying 3 items.

• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
• Synthesis of rewrite programs by higher-order and semantic unification (Q749216) (← links)
• A new application for explanation-based generalisation within automated deduction (Q5210770) (← links)