Pages that link to "Item:Q6488562"

The following pages link to Programming by example and proving by example using higher-order unification (Q6488562):

Displaying 2 items.

• A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure (Q674399) (← links)
• From programming-by-example to proving-by-example (Q5096230) (← links)