HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Márton Hajdu

Publications
The Vampire Approach to Induction
Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov
EasyChair Preprint no. 9217
Induction with Recursive Definitions in Superposition
Márton Hajdu, Petra Hozzová, Laura Kovács and Andrei Voronkov
EasyChair Preprint no. 6513
Inductive Benchmarks for Automated Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 5531
Induction with Generalization in Superposition Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 2468

Keyphrases

automated reasoning3, AVATAR architecture, first-order theorem proving3, induction3, induction with generalization, inductive benchmarks, Inductive data types, integers, saturation, saturation based proof search2, structural induction2, superposition, superposition reasoning2, term algebra2, Vampire2.

Copyright © 2012-2023 easychair.org. All rights reserved.