HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:AVATAR architecture

Papers
Induction with Generalization in Superposition Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 2468
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning
Giles Reger, Martin Suda and Andrei Voronkov
EasyChair Preprint no. 1
Copyright © 2012-2023 easychair.org. All rights reserved.