Browsing


or select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2 to 5 of 5 < previous 
PreviewAuthors / EditorsTitleTypeIssue Date
Hajdu - 2020 - Induction with generalization in superposition reasoning.pdf.jpgHajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei  Induction with Generalization in Superposition ReasoningInproceedings Konferenzbeitrag 26-Jul-2020
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