Name Card

Full name Familienname, Vorname
Wagner, Eva Maria
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wagner Eva Maria - 2024 - Synthesis of Provable Recursive Functions.pdf.jpgWagner, Eva Maria Program synthesis of provable recursive functionsThesis Hochschulschrift 2024
2Hozzová, Petra ; Amrollahi, Daneshvar ; Hajdu, Márton ; Kovács, Laura ; Voronkov, Andrei ; Wagner, Eva Maria Synthesis of Recursive Programs in SaturationInproceedings Konferenzbeitrag 2024