Hierarchic Superposition with Weak Abstraction
dc.contributor.author | Baumgartner, Peter | |
dc.contributor.author | Waldmann, Uwe | |
dc.coverage.spatial | Lake Placid United States of America | |
dc.date.accessioned | 2015-12-10T23:20:22Z | |
dc.date.created | June 9-14 2013 | |
dc.date.issued | 2013 | |
dc.date.updated | 2016-02-24T10:58:08Z | |
dc.description.abstract | 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 | |
dc.identifier.isbn | 9783642385735 | |
dc.identifier.uri | http://hdl.handle.net/1885/66295 | |
dc.publisher | Springer | |
dc.relation.ispartofseries | 24th International Conference on Automated Deduction CADE-24 | |
dc.source | CADE 2013 | |
dc.subject | Keywords: Automated deduction; Background theory; First order logic; Function symbols; Integer arithmetic; Internal operations; Research challenges; Superposition calculus; Abstracting; Automation; Calculations; Theorem proving; Automata theory | |
dc.title | Hierarchic Superposition with Weak Abstraction | |
dc.type | Conference paper | |
local.bibliographicCitation.lastpage | 57 | |
local.bibliographicCitation.startpage | 39 | |
local.contributor.affiliation | Baumgartner, Peter, College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Waldmann, Uwe, Max Planck Institute | |
local.contributor.authoremail | u1815000@anu.edu.au | |
local.contributor.authoruid | Baumgartner, Peter, u1815000 | |
local.description.embargo | 2037-12-31 | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
local.identifier.absfor | 080203 - Computational Logic and Formal Languages | |
local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
local.identifier.ariespublication | u4334215xPUB1259 | |
local.identifier.doi | 10.1007/978-3-642-38574-2_3 | |
local.identifier.scopusID | 2-s2.0-84879977509 | |
local.identifier.uidSubmittedBy | u4334215 | |
local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 01_Baumgartner_Hierarchic_Superposition_with_2013.pdf
- Size:
- 220.78 KB
- Format:
- Adobe Portable Document Format