English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)

Waldmann, U. (2002). Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I). Journal of Symbolic Computation, 33, 777-829.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Waldmann, Uwe1, 2, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We present superposition calculi in which the axioms of cancellative abelian monoids and, optionally, the torsion-freeness axiom are integrated. Cancellative abelian monoids comprise abelian groups, but also such ubiquitous structures as the natural numbers or multisets. Our calculi require neither extended clauses nor explicit inferences with the theory axioms. Compared with AC-superposition calculi, the number of variable overlaps is significantly reduced by strong ordering restrictions.

Details

show
hide
Language(s): eng - English
 Dates: 2003-07-292002
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 202165
Other: Local-ID: C1256104005ECAFC-0FE819BCE345C3C0C1256CAE005B3962-Waldmann2002aJSC
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Symbolic Computation
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 33 Sequence Number: - Start / End Page: 777 - 829 Identifier: ISSN: 0747-7171