Automated Synthesis of Some Algorithms on Finite Sets.

Isabela Dramnesc, Tudor Jebelean

Browse the full SYNASC paper archive.