Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-43425
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-89-7_Steinbach_COMTES=Vervollständigung-von-Termersetzungssystemen.pdf | 44,7 MB | Adobe 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.