Name Card

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

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou-2024-Saturating Sorting without Sorts-smur.pdf.jpgGeorgiou, Pamina ; Hajdu, Marton ; Kovacs, Laura Saturating Sorting without SortsPreprint Preprint 6-Mar-2024
2Hajdu-2022-Getting Saturated withInduction-am.pdf.jpgHajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag 29-Dec-2022
3Hajdu-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
4Hajdu-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
5Hajdu-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
6Hajdu Marton - 2020 - Automating inductive reasoning with recursive functions.pdf.jpgHajdu, Márton Automating inductive reasoning with recursive functionsThesis Hochschulschrift 2020