EasyChair Smart SlideUser guide
Author: Daneshvar Amrollahi

This page shows all presentations of this author published in EasyChair Smart Slide.

Synthesis of Recursive Programs in Saturation

Synthesis of Recursive Programs in Saturation

Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair