Please use this identifier to cite or link to this item:
doi:10.22028/D291-39831 | Title: | Narrowing Techniques Applied to Idempotent Unification |
| Author(s): | Herold, Alexander |
| Language: | English |
| Year of Publication: | 1986 |
| Place of publication: | Kaiserslautern |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | A complete unification algorithm for idempotent functions is presented. This algorithm is derivated from the universal unification algorithm, which is based on the narrowing relation. First an improvement for the universal algorithm is shown. Then these results are applied to the special case of idempotence resulting in an idempotent unification algorithm. Finally several refinements for this algorithm are proposed. |
| Link to this record: | urn:nbn:de:bsz:291--ds-398312 hdl:20.500.11880/35969 http://dx.doi.org/10.22028/D291-39831 |
| Series name: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
| Series volume: | 86,16 |
| Date of registration: | 15-Jun-2023 |
| 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-REPORT-SR-86-16_Herold_Narrowing-Techniques-Applied-to-Idempotent-Unification.pdf | 9,32 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.