Pages that link to "Item:Q5096230"
From MaRDI portal
The following pages link to From programming-by-example to proving-by-example (Q5096230):
Displaying 3 items.
- A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure (Q674399) (← links)
- The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
- Towards the animation of proofs -- testing proofs by examples (Q5958295) (← links)