Eva Maria Wagner

According to our database, Eva Maria Wagner authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesis of Recursive Programs in Saturation.

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

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024