Name Card
Full name
Familienname, Vorname
Hozzová, Petra
Own Publications
Eigene Publikationen
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Hozzová, Petra
; Kovács, Laura
; Norman, Chase
; Voronkov, Andrei
Program Synthesis in Saturation
Inproceedings
Konferenzbeitrag
2-Sep-2023