EasyChair Smart SlideDocs/Log in
Author: Márton Hajdu

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

Induction with Generalization in Superposition Reasoning

Induction with Generalization in Superposition Reasoning

Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair