Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39516
Titel: | Unification in the Datastructure Multisets |
VerfasserIn: | Büttner, Wolfram |
Sprache: | Englisch |
Erscheinungsjahr: | 1985 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | In a forthcoming paper A. Herold and J. Siekmann generalize "pure" AC-unification ([ST 75], [LS 76]) to terms containing additional function symbols (see also [ST 81], [FA 84]). Generalized AC-unification thus attains practical relevance for a broad range of applications. Pure AC-unification is used as a basic mechanism and it is this key role that has motivated our research. We have improved upon earlier approaches by basing (pure) AC-unification on a firm theoretical basis and presenting algorithms which fully exploit the properties of the underlying mathematical structure. In particular, the high degree of parallelism for AC-unification will become apparent. Our algorithms have been designed for parallel hardware but still yield significant improvements over earlier algorithms when used in sequential mode. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-395161 hdl:20.500.11880/35686 http://dx.doi.org/10.22028/D291-39516 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 85,5 KL |
Datum des Eintrags: | 19-Apr-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-85-05-KL_Büttner_Unification-in-the-Datastructure-Multisets.pdf | 16,86 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.