Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Equational Reasoning in Saturation-Based Theorem Proving

Bachmair, L., & Ganzinger, H. (1998). Equational Reasoning in Saturation-Based Theorem Proving. In W. Bibel, & P. H. Schmitt (Eds.), Automated Deduction: A Basis for Applications (pp. 353-397). Dordrecht, The Netherlands: Kluwer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3832-6 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3833-4
Genre: Buchkapitel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Bachmair, Leo1, Autor           
Ganzinger, Harald1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this chapter we describe the theoretical concepts and results that form the basis of state-of-the-art automated theorem provers for first-order clause logic with equality. We mainly concentrate on refinements of paramodulation, such as the superposition calculus, that have yielded the most promising results to date in automated equational reasoning.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121998
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519697
Anderer: Local-ID: C1256104005ECAFC-F5658B17041967BCC1256744004F1732-BachmairGanzinger-98-sppd
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated Deduction: A Basis for Applications
Genre der Quelle: Buch
 Urheber:
Bibel, Wolfgang, Herausgeber
Schmitt, Peter H., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Dordrecht, The Netherlands : Kluwer
Seiten: - Band / Heft: I Artikelnummer: - Start- / Endseite: 353 - 397 Identifikator: ISBN: 0-7923-5129-0