Hierarchic Superposition with Weak Abstraction

dc.contributor.authorBaumgartner, Peter
dc.contributor.authorWaldmann, Uwe
dc.coverage.spatialLake Placid United States of America
dc.date.accessioned2015-12-10T23:20:22Z
dc.date.createdJune 9-14 2013
dc.date.issued2013
dc.date.updated2016-02-24T10:58:08Z
dc.description.abstractMany 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.isbn9783642385735
dc.identifier.urihttp://hdl.handle.net/1885/66295
dc.publisherSpringer
dc.relation.ispartofseries24th International Conference on Automated Deduction CADE-24
dc.sourceCADE 2013
dc.subjectKeywords: 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.titleHierarchic Superposition with Weak Abstraction
dc.typeConference paper
local.bibliographicCitation.lastpage57
local.bibliographicCitation.startpage39
local.contributor.affiliationBaumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliationWaldmann, Uwe, Max Planck Institute
local.contributor.authoremailu1815000@anu.edu.au
local.contributor.authoruidBaumgartner, Peter, u1815000
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu4334215xPUB1259
local.identifier.doi10.1007/978-3-642-38574-2_3
local.identifier.scopusID2-s2.0-84879977509
local.identifier.uidSubmittedByu4334215
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Baumgartner_Hierarchic_Superposition_with_2013.pdf
Size:
220.78 KB
Format:
Adobe Portable Document Format
Back to topicon-arrow-up-solid
 
APRU
IARU
 
edX
Group of Eight Member

Acknowledgement of Country

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.


Contact ANUCopyrightDisclaimerPrivacyFreedom of Information

+61 2 6125 5111 The Australian National University, Canberra

TEQSA Provider ID: PRV12002 (Australian University) CRICOS Provider Code: 00120C ABN: 52 234 063 906