Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39527 | HINWEIS: | Dieses Dokument ist aus rechtlichen Gründen vorübergehend gesperrt und kann nur von berechtigten Personen geöffnet werden. |
| Titel: | Narrowing with inductively defined functions |
| VerfasserIn: | Bockmayr, Alexander |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1986 |
| Erscheinungsort: | Karlsruhe |
| DDC-Sachgruppe: | 004 Informatik |
| Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
| 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 zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-395276 hdl:20.500.11880/35787 http://dx.doi.org/10.22028/D291-39527 |
| Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Band: | 86,25 |
| Datum des Eintrags: | 9-Mai-2023 |
| 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 |
Dateien zu diesem Datensatz:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| SEKI-MEMO-86-25_Bockmayr_Narrowing-with-inductively-defined-functions.pdf | 12,51 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.