Showing results 1 to 3 of 3
PreviewAuthors / EditorsTitleTypeIssue Date
Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionInproceedings Oct-2021
Hajdu-2021-Inductive Benchmarks for Automated Reasoning-am.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes  ; Voronkov, Andrei Inductive Benchmarks for Automated ReasoningInproceedings Konferenzbeitrag 12-Aug-2021
Hozzova-2021-Integer Induction in Saturation-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Integer Induction in SaturationInproceedings Konferenzbeitrag 29-Jul-2021