Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  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

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Stuber, Jürgen1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

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

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121998
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 519659
Anderer: Local-ID: C1256104005ECAFC-51A13AF76D638987C125669100589142-Stuber1998TCS
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Theoretical Computer Science
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 208 (1/2) Artikelnummer: - Start- / Endseite: 149 - 177 Identifikator: ISSN: 0304-3975