Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-38956
Titel: | Some basic notions of first-order unification theory |
VerfasserIn: | Herold, Alexander |
Sprache: | Englisch |
Erscheinungsjahr: | 1983 |
Erscheinungsort: | Karlsruhe |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This report does not contain much novel material, but collects the basic notions and the most frequently used lemmata and theorems of first order unification theory. It is restricted to the case of free terms (i.e. no defining equations). |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-389568 hdl:20.500.11880/35467 http://dx.doi.org/10.22028/D291-38956 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 83,15 |
Datum des Eintrags: | 20-Mär-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-83-15_Herold_Some-Basic-Notions-of-First-Order-Unification-Theory.pdf | 29,19 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.