Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets.

Isabela Dramnesc, Tudor Jebelean

Browse the full SISY paper archive.