Skip navigation
Skip navigation
The system will be down for maintenance between 8:00 and 8:15am on Thursday 13, December 2018

Hierarchic Superposition with Weak Abstraction

Baumgartner, Peter; Waldmann, Uwe


Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are "reasonably complete" even

CollectionsANU Research Publications
Date published: 2013
Type: Conference paper
Source: CADE 2013
DOI: 10.1007/978-3-642-38574-2_3


File Description SizeFormat Image
01_Baumgartner_Hierarchic_Superposition_with_2013.pdf220.78 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator