Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-43425
Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Working-Paper-SWP-89-7_Steinbach_COMTES=Vervollständigung-von-Termersetzungssystemen.pdf44,7 MBAdobe PDFÖffnen/Anzeigen
Titel: COMTES : Vervollständigung von Termersetzungssystemen
VerfasserIn: Steinbach, Joachim
Sprache: Deutsch
Erscheinungsjahr: 1989
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: COMTES is a parametric Knuth-Bendix completion procedure that is particularly suited for efficiency experiments: Various critical pair methods, different reduction strategies and several term orderings are available. This paper describes these methods.
COMTES ist eine Softwareumgebung zur Vervollständigung von Termersetzungssystemen. COMTES stellt ein Experimentalsystem dar, das von verschiedenen Parametern abhängt: von mehreren Methoden zur Auswahl kritischer Paare, einigen Reduktionsstrategien und von diversen Termordnungen. Der vorliegende Bericht beschreibt diese Verfahren anhand ihrer Implementierungen.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-434258
hdl:20.500.11880/38937
http://dx.doi.org/10.22028/D291-43425
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 89,7
Datum des Eintrags: 12-Nov-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.