HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:saturation based proof search

Papers
Induction with Recursive Definitions in Superposition
Márton Hajdu, Petra Hozzová, Laura Kovács and Andrei Voronkov
EasyChair Preprint no. 6513
Making Theory Reasoning Simpler
Giles Reger, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 5000
Induction with Generalization in Superposition Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 2468
Copyright © 2012-2023 easychair.org. All rights reserved.