Please use this identifier to cite or link to this item:
doi:10.22028/D291-39527 | Notice: | temporarily not accessible for legal reasons |
| Title: | Narrowing with inductively defined functions |
| Author(s): | Bockmayr, Alexander |
| Language: | English |
| Year of Publication: | 1986 |
| Place of publication: | Karlsruhe |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | The aim of this paper is to investigate the behaviour of the narrowing algorithm when it is applied to functions inductively defined over some set of constructors C0. We show that for these functions the narrowing algorithm enumerates the constructor term algebra T(C0,X) and that the same constructor term may be generated in many different ways. |
| Link to this record: | urn:nbn:de:bsz:291--ds-395276 hdl:20.500.11880/35787 http://dx.doi.org/10.22028/D291-39527 |
| Series name: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Series volume: | 86,25 |
| Date of registration: | 9-May-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-MEMO-86-25_Bockmayr_Narrowing-with-inductively-defined-functions.pdf | 12,51 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.