Name Card

Full name Familienname, Vorname
Hajdu, Marton
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag29-Dec-2022
2Hajdu-2022-The Vampire Approach to Induction short paper-vor.pdf.jpgHajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei The Vampire Approach to Induction (short paper)Inproceedings Konferenzbeitrag 31-Aug-2022
3Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionBeitrag in Tagungsband Inproceedings Oct-2021
4Hajdu-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
5Hajdu Marton - 2020 - Automating inductive reasoning with recursive functions.pdf.jpgHajdu, Márton Automating inductive reasoning with recursive functionsThesis Hochschulschrift 2020