Superposition theorem proving for abelian groups represented as integer modules

Stuber, Jürgen

Local TagsRelease HistoryDetailsSummary

Superposition theorem proving for abelian groups represented as integer modules

Stuber, J. (1998). Superposition theorem proving for abelian groups represented as integer modules. Theoretical Computer Science, 208(1/2), 149-177.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3896-8 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3897-6

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Stuber, Jürgen¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: We define a refutationally complete superposition calculus specialized for abelian groups represented as integer modules. Compared to a standard superposition prover which applies the axioms directly our calculus substantially reduces the number of inferences. We also investigate situations where the axioms give rise to variable overlaps and we develop techniques to avoid these explosive cases.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 519659
Other: Local-ID: C1256104005ECAFC-51A13AF76D638987C125669100589142-Stuber1998TCS

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Theoretical Computer Science

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 208 (1/2) Sequence Number: - Start / End Page: 149 - 177 Identifier: ISSN: 0304-3975