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ößeFormat 
SEKI-MEMO-85-05-KL_Büttner_Unification-in-the-Datastructure-Multisets.pdf16,86 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.