Please use this identifier to cite or link to this item:
doi:10.22028/D291-43425 | Title: | COMTES : Vervollständigung von Termersetzungssystemen |
| Author(s): | Steinbach, Joachim |
| Language: | German |
| Year of Publication: | 1989 |
| Place of publication: | Kaiserslautern |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| 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 to this record: | urn:nbn:de:bsz:291--ds-434258 hdl:20.500.11880/38937 http://dx.doi.org/10.22028/D291-43425 |
| Series name: | SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931] |
| Series volume: | 89,7 |
| Date of registration: | 12-Nov-2024 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-Working-Paper-SWP-89-7_Steinbach_COMTES=Vervollständigung-von-Termersetzungssystemen.pdf | 44,7 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.