Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  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

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2F2E-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2F2F-1
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Waldmann, Uwe1, 2, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2003-07-292002
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 202165
Anderer: Local-ID: C1256104005ECAFC-0FE819BCE345C3C0C1256CAE005B3962-Waldmann2002aJSC
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Symbolic Computation
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 33 Artikelnummer: - Start- / Endseite: 777 - 829 Identifikator: ISSN: 0747-7171