HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:theory reasoning

Papers
Making Theory Reasoning Simpler
Giles Reger, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 5000
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.