Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Termination Orderings for Rippling

Basin, D. A., & Walsh, T. (1994). Termination Orderings for Rippling. In A. Bundy (Ed.), Proceedings of the 12th International Conference On Automated Deduction (CADE-12) (pp. 466-483). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADAA-E Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-0810-7
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://rdcu.be/dtn8e (Verlagsversion)
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Basin, David A.1, Autor           
Walsh, Toby1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Rippling is a special type of rewriting developed for inductive theorem
proving. Bundy {\em et.~al.~}have shown that rippling terminates by providing a
well-founded order for the annotated rewrite rules used by rippling. Here, we
simplify and generalize this order, thereby enlarging the class of rewrite
rules that can be used. In addition, we extend the power of rippling by
proposing new domain dependent orders. These extensions elegantly combine
rippling with more conventional term rewriting. Such combinations offer the
flexibility and uniformity of conventional rewriting with the highly goal
directed nature of rippling. Finally, we show how our orders simplify
implementation of provers based on rippling.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121994
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519635
Anderer: Local-ID: C1256104005ECAFC-EC94529E168593B3C1256144006249E9-Basin94a
DOI: 10.1007/3-540-58156-1_34
BibTex Citekey: Basin/Walsh_CADE94
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 12th International Conference On Automated Deduction
Veranstaltungsort: Nancy, France
Start-/Enddatum: 1994

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 12th International Conference On Automated Deduction (CADE-12)
  Kurztitel : CADE 1994
Genre der Quelle: Konferenzband
 Urheber:
Bundy, Alan1, Herausgeber           
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 466 - 483 Identifikator: ISBN: 978-3-540-58156-7

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
  Kurztitel : LNAI
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 814 Artikelnummer: - Start- / Endseite: - Identifikator: -