Synthesis of Recursive Programs in Saturation.

Petra Hozzov, Daneshvar Amrollahi, Mrton Hajd, Laura Kovcs, Andrei Voronkov, Eva Maria Wagner

Browse the full IJCAR paper archive.